Course on Formal Verification in Colombia

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.