Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M. Ranking function synthesis for bit-vector relations. (English) Zbl 1291.68138 Form. Methods Syst. Des. 43, No. 1, 93-120 (2013). MSC: 68N30 68T20 PDFBibTeX XMLCite \textit{B. Cook} et al., Form. Methods Syst. Des. 43, No. 1, 93--120 (2013; Zbl 1291.68138) Full Text: DOI
Cook, Byron; Koskinen, Eric; Vardi, Moshe Temporal property verification as a program analysis task. (English) Zbl 1284.68171 Form. Methods Syst. Des. 41, No. 1, 66-82 (2012). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{B. Cook} et al., Form. Methods Syst. Des. 41, No. 1, 66--82 (2012; Zbl 1284.68171) Full Text: DOI Link
Cook, Byron; Fisher, Jasmin; Krepska, Elzbieta; Piterman, Nir Proving stabilization of biological systems. (English) Zbl 1318.92014 Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 134-149 (2011). MSC: 92C42 68Q60 PDFBibTeX XMLCite \textit{B. Cook} et al., Lect. Notes Comput. Sci. 6538, 134--149 (2011; Zbl 1318.92014) Full Text: DOI
Cook, Byron; Kroening, Daniel; Sharygina, Natasha Verification of Boolean programs with unbounded thread creation. (English) Zbl 1143.68043 Theor. Comput. Sci. 388, No. 1-3, 227-242 (2007). MSC: 68Q60 68N30 68Q55 PDFBibTeX XMLCite \textit{B. Cook} et al., Theor. Comput. Sci. 388, No. 1--3, 227--242 (2007; Zbl 1143.68043) Full Text: DOI