Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
Gawlitza, Thomas, Monniaux, David, Barthe, GillesVolume:
8
Language:
english
Journal:
Logical Methods in Computer Science
DOI:
10.2168/LMCS-8(3:29)2012
Date:
September, 2012
File:
PDF, 554 KB
english, 2012