1. Deductive software verification

   • Jean-Christophe Filliâtre

   Introduction 20 August 2011 Pages: 397 - 403

2. Functional dependencies of C functions via weakest pre-conditions

   • Pascal Cuoq
   • Benjamin Monate
   • Virgile Prevosto

   VSTTE 2009-2010 18 March 2011 Pages: 405 - 417

3. SMT solvers: new oracles for the HOL theorem prover

   • Tjark Weber

   VSTTE 2009-2010 25 February 2011 Pages: 419 - 429

4. Scenario-based testing from UML/OCL behavioral models

   • Kalou Cabrera Castillos
   • Frédéric Dadeau
   • Jacques Julliand

   VSTTE 2009-2010 25 February 2011 Pages: 431 - 448

5. An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems

   • Daisuke Ishii
   • Kazunori Ueda
   • Hiroshi Hosobe

   VSTTE 2009-2010 19 March 2011 Pages: 449 - 461

6. Formal methods for security in the Xenon hypervisor

   • Leo Freitas
   • John McDermott

   VSTTE 2009-2010 21 May 2011 Pages: 463 - 489