Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Patrice Chalin Original Article 11 January 2007 Pages: 139 - 158
Specification and verification challenges for sequential object-oriented programs Gary T. LeavensK. Rustan M. LeinoPeter Müller Original Article 06 April 2007 Pages: 159 - 189
Code-carrying theories Bart JacobsSjaak SmetsersRonny Wichers Schreur Original Article 25 November 2006 Pages: 191 - 203
On assertion-based encapsulation for object invariants and simulations David A. Naumann Original Article 16 December 2006 Pages: 205 - 224
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems Egon Börger Original Article 09 February 2007 Pages: 225 - 241
Highly dependable concurrent programming using design for verification Aysu Betin-CanTevfik Bultan Original Article 01 December 2006 Pages: 243 - 268
A mini challenge: build a verifiable filesystem Rajeev JoshiGerard J. Holzmann Original Article 04 January 2007 Pages: 269 - 272
Minimal refinements of specifications in modal and temporal logics Nikos GorogiannisMark Ryan Erratum 30 May 2007 Pages: 273 - 273