Gawlitza, Thomas Martin; Monniaux, David Invariant generation through strategy iteration in succinctly represented control flow graphs. (English) Zbl 1248.68142 Log. Methods Comput. Sci. 8, No. 3, Paper No. 29, 35 p. (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{T. M. Gawlitza} and \textit{D. Monniaux}, Log. Methods Comput. Sci. 8, No. 3, Paper No. 29, 35 p. (2012; Zbl 1248.68142) Full Text: DOI arXiv
Gawlitza, Thomas; Seidl, Helmut Precise relational invariants through strategy iteration. (English) Zbl 1179.68037 Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 23-40 (2007). MSC: 68N30 90C08 PDFBibTeX XMLCite \textit{T. Gawlitza} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 4646, 23--40 (2007; Zbl 1179.68037) Full Text: DOI