Paper in STTT

The paper entitled “IC3 Software Model Checking” by Tim Lange, Martin R. Neuhäußer (Siemens AG), Thomas Noll, and Joost-Pieter Katoen has been accepted for the International Journal on Software Tools for Technology Transfer (STTT). The paper introduces an extension of the IC3 verification algorithm for computer software that employs an explicit representation of a program’s control flow.