Paper accepted at FMCAD 2015

July 8, 2015

The paper entitled IC3 Software Model Checking on Control Flow Automata by Tim Lange, Martin Neuhäußer (Siemens AG) and Thomas Noll has been accepted at the 15th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2015). This paper presents a method to exploit a program’s control flow for efficiently model checking its correctness properties.