Assuring property conformance of code generators via model checking Sven JörgesTiziana MargariaBernhard Steffen Original Article 25 November 2010 Pages: 589 - 606
Building a push-button RESOLVE verifier: Progress and challenges Murali SitaramanBruce AdcockBruce W. Weide Original Article 14 April 2010 Pages: 607 - 626
A model checking-based approach for security policy verification of mobile systems Chiara BraghinNatasha SharyginaKaterina Barone-Adesi Original Article 16 July 2010 Pages: 627 - 648
Verification of distributed systems with local–global predicates K. Mani ChandyBrian GoJerome White OriginalPaper 09 April 2010 Pages: 649 - 679