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

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

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