1. On the expressiveness of MTL in the pointwise and continuous semantics

   • Deepak D’Souza
   • Pavithra Prabhakar

   FORMAL METHODS LETTER 12 April 2006 Pages: 1 - 4

2. The FSAP/NuSMV-SA Safety Analysis Platform

   • Marco Bozzano
   • Adolfo Villafiorita

   Regular Contributions 29 June 2006 Pages: 5 - 24

3. Some current topics in model checking

   • Michael Huth

   SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS 29 July 2006 Pages: 25 - 36

4. Compositional software verification based on game semantics and process algebra

   • Aleksandar Dimovski
   • Ranko Lazić

   SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS 14 July 2006 Pages: 37 - 51

5. Model-checking the preservation of temporal properties upon feature integration

   • Dimitar P. Guelev
   • Mark D. Ryan
   • Pierre Yves Schobbens

   SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS 26 September 2006 Pages: 53 - 62

6. Formal verification of the NASA runway safety monitor

   • Radu I. Siminiceanu
   • Gianfranco Ciardo

   Special Section on Advances In Automated Verification of Critical Systems 23 August 2006 Pages: 63 - 76

7. CTL-property Transformations along an Incremental Design Process

   • Cécile Braunstein
   • Emmanuelle Encrenaz

   Special Section on Advances in Automated Verification of Critical Systems 29 June 2006 Pages: 77 - 88

8. Improved verification of hardware designs through antecedent conditioned slicing

   • Shobha Vasudevan
   • E. Allen Emerson
   • Jacob A. Abraham

   Special Section on Advances in Automated Verification of Critical Systems 08 July 2006 Pages: 89 - 101