Thomas Neele: Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
–
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space explosion. We propose POR techniques that are sound for parity games, a well-established formalism for solving a variety of decision problems. As …continue reading
Freek Verbeek: Formal Proofs of Return Address Integrity
–
We present a methodology for generating a characterization of the memory used by an assembly program, as well as a formal proof that the assembly is bounded to the generated memory regions. A formal proof …continue reading
Bas Luttik: Supporting railway infrastructure managers with formal models and analyses
–
In this talk, I will discuss our recent experiences with using the mCRL2 toolset – which has a process-algebra based modelling language, a modal mu-calculus-based property language, and an explicit-state model checker – to support …continue reading