Model Checking Concurrent Software with Impact
Björn Wachter ( University of Oxford )
- 11:30 24th April 2013 ( week 1, Trinity Term 2013 )441
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.