Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
Preprint in arXiv (September 2012)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Preprint in arXiv (September 2012)
Conference proceeding (July 2011)
Preprint in arXiv (January 2011)