Author Archives: 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.