1. Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models

   • Matthew L. Bolton
   • Xi Zheng
   • Meng Li

   Original Paper 18 February 2016 Pages: 1 - 17

   

2. A methodology for verifying SysML requirements using activity diagrams

   • Messaoud Rahim
   • Ahmed Hammad
   • Malika Ioualalen

   Original Paper 04 June 2016 Pages: 19 - 33

   

3. Cobra: a light-weight tool for static and dynamic program analysis

   • Gerard J. Holzmann

   Original Paper 01 June 2016 Pages: 35 - 49

   

4. Towards formal open standards: formalizing a standard’s requirements

   • Konstantinos Barlas
   • Eleni Berki
   • George Koletsos

   Original Paper 01 July 2016 Pages: 51 - 66

   

5. Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data

   • Doron Drusinsky

   Original Paper 28 September 2016 Pages: 67 - 79