Chaki, S.; Clarke, E.; Groce, A.; Ouaknine, J.; Strichman, O.; Yorav, K. Efficient verification of sequential and concurrent C programs. (English) Zbl 1101.68677 Form. Methods Syst. Des. 25, No. 2-3, 129-166 (2004). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Chaki} et al., Form. Methods Syst. Des. 25, No. 2--3, 129--166 (2004; Zbl 1101.68677) Full Text: DOI
DuVarney, Daniel C.; Iyer, S. Purushothaman C Wolf – A toolset for extracting models from C programs. (English) Zbl 1037.68521 Peled, Doron A. (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2002. 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00141-7/pbk). Lect. Notes Comput. Sci. 2529, 260-275 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{D. C. DuVarney} and \textit{S. P. Iyer}, Lect. Notes Comput. Sci. 2529, 260--275 (2002; Zbl 1037.68521) Full Text: Link