Model Checking

The research area of model checking is concerned with algorithms for checking whether a hardware or software system satisfies a correctness property.

Model checking is increasingly used in hardware and software industries to achieve greater scope and greater degree of automation in verification.

Staff involved: Ranko Lazic and Doron Peled