Skip to main content

Model Checking Concurrent Software with Impact

Björn Wachter ( University of Oxford )

The Impact algorithm by McMillan is one of the most efficient verification techniques for sequential software. I will give an introduction to Impact and talk about extensions to concurrent software, which are part of on-going work. The talk is informal, i.e., questions and discussions are encouraged any time.

Share this: