Software Model Checking at AI-Lab

We have been actively involved in the development of two software model checking techniques and tools: