Derrick, John; Doherty, Simon; Dongol, Brijesh; Schellhorn, Gerhard; Travkin, Oleg; Wehrheim, Heike Mechanized proofs of opacity: a comparison of two techniques. (English) Zbl 1395.68186 Formal Asp. Comput. 30, No. 5, 597-625 (2018). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{J. Derrick} et al., Formal Asp. Comput. 30, No. 5, 597--625 (2018; Zbl 1395.68186) Full Text: DOI
Abd Elkader, Karam; Grumberg, Orna; Păsăreanu, Corina S.; Shoham, Sharon Automated circular assume-guarantee reasoning. (English) Zbl 1395.68184 Formal Asp. Comput. 30, No. 5, 571-595 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Abd Elkader} et al., Formal Asp. Comput. 30, No. 5, 571--595 (2018; Zbl 1395.68184) Full Text: DOI
Bjørner, Nikolaj (ed.); de Boer, Frank (ed.); Butterfield, Andrew (ed.) Editorial. (English) Zbl 1395.68007 Formal Asp. Comput. 30, No. 5, 493-494 (2018). MSC: 68-06 00B25 68Q60 PDFBibTeX XMLCite \textit{N. Bjørner} (ed.) et al., Formal Asp. Comput. 30, No. 5, 493--494 (2018; Zbl 1395.68007) Full Text: DOI