Accepted Papers

Eric Feron, Arnaud Venet
Static Stability Analysis of embedded, autocoded software

Patrice Chalin, Perry James
Cross-Verification of JML Tools: An ESC/Java2 Case Study

Oystein Thorsen, Charles Wallace
Automated Verification of UPC Consistency

Jonathan Ostroff, Chen-wei Wang, Eric Kerfoot, and Faraz Ahmadi Torshizi
Automated Model-based Verification of Object-Oriented Code

Kevin Elphinstone, Gerwin Klein, and Rafal Kolanski
Formalising a High-Performance Microkernel