Ausgabe 5/2011
Inhalt (5 Artikel)
Original Article
Assuring property conformance of code generators via model checking
Sven Jörges, Tiziana Margaria, Bernhard Steffen
Original Article
Building a push-button RESOLVE verifier: Progress and challenges
Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather Harton, Wayne Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide
Original Article
A model checking-based approach for security policy verification of mobile systems
Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
Verification of distributed systems with local–global predicates
K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White