1. Preface of the special issue on formal methods in industrial critical systems

   • Matthias Güdemann
   • Manuel Núñez

   Introduction 07 April 2017 Pages: 391 - 393

2. Verification of critical systems described in real-time TiMo 

   • Bogdan Aman
   • Gabriel Ciobanu

   FMICS 2015/2016 02 November 2016 Pages: 395 - 408

   

3. Require, test, and trace IT

   • Bernhard K. Aichernig
   • Klaus Hörmaier
   • Stefan Tiran

   FMICS 2015/2016 Open access 29 November 2016 Pages: 409 - 426

   

4. Improving the numerical accuracy of programs by automatic transformation

   • Nasrine Damouche
   • Matthieu Martel
   • Alexandre Chapoutot

   FMICS 2015/2016 26 September 2016 Pages: 427 - 448

   

5. Synthesizing, correcting and improving code, using model checking-based genetic programming

   • Gal Katz
   • Doron Peled

   Regular Paper 23 March 2016 Pages: 449 - 464

   

6. A correct-by-construction model for asynchronously communicating systems

   • Zoubeyr Farah
   • Yamine Ait-Ameur
   • Kamel Tari

   Regular Paper 22 April 2016 Pages: 465 - 485

   

7. Analyzing execution traces: critical-path analysis and distance analysis

   • Martijn Hendriks
   • Jacques Verriet
   • Lou Somers

   Regular Paper 10 September 2016 Pages: 487 - 510