1. Model checking: recent improvements and applications

   • Dragan Bošnački
   • Anton Wijs

   Introduction Open access 24 July 2018 Pages: 493 - 497

2. Integrating river basin DSSs with model checking

   • María del Mar Gallardo
   • Pedro Merino
   • Alberto Salmerón

   SPIN 2016 24 October 2017 Pages: 499 - 514

   

3. A case study of planning for smart factories

   • Stefan Edelkamp
   • Christoph Greulich

   SPIN 2016 Open access 07 August 2018 Pages: 515 - 528

   

4. Discrete and continuous strategies for timed-arc Petri net games

   • Peter Gjøl Jensen
   • Kim Guldstrand Larsen
   • Jiří Srba

   SPIN 2016 25 September 2017 Pages: 529 - 546

   

5. Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

   • Ehsan Khamespanah
   • Marjan Sirjani
   • Gul Agha

   SPIN 2016 20 November 2017 Pages: 547 - 561

   

6. On-the-fly model checking for extended action-based probabilistic operators

   • Radu Mateescu
   • José Ignacio Requeno

   SPIN 2016 10 August 2018 Pages: 563 - 587

   

7. Fair testing and stubborn sets

   • Antti Valmari
   • Walter Vogler

   SPIN 2016 11 December 2017 Pages: 589 - 610