Course on Formal Verification in Colombia

Posted on 30th October 2015 by Martin Leucker

As part of the summer school preceding ICTAC’2015, which takes place in Colombia this year, a course on formal verification is offered that mainly introduces the concepts of runtime verification. Details can be found here.

This entry was posted in Events. Bookmark the permalink.