Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for verification and debugging purposes, and after deployment for ensuring reliability, safety and security, and for providing fault containment and recovery. the fourth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. |
|
---|---|
|
|
|
|
Executing Specifications using Synthesis and Constraint SolvingViktor Kuncak (EPFL), Lausanne, Switzerland - Wednesday 25 th September 2013 |
|
Programming without BordersKlaus Ostermann (University of Marburg), Germany - Thursday 26 th September 2013 |
|
Runtime Verification with DataMartin Leucker (University of Lübeck), Friday 27th September 2013 |
|