IC3 Software Model Checking on Control Flow Automata.

Tim Lange, Martin R. Neuhuer, Thomas Noll

Browse the full FMCAD paper archive.