1. On ranking functions for single-path linear-constraint loops

   • Yi Li
   • Wenyuan Wu
   • Yong Feng

   General 13 November 2019 Pages: 655 - 666

2. Enabling continuous integration in a formal methods setting

   • Luis Diogo Couto
   • Peter W. V. Tran-Jørgensen
   • Peter Gorm Larsen

   General 26 October 2019 Pages: 667 - 683

   

3. Tools for the construction and analysis of systems

   • Dirk Beyer
   • Marieke Huisman

   General Open access 13 July 2020 Pages: 685 - 687

4. The Refinement Calculus of Reactive Systems Toolset

   • Iulia Dragomir
   • Viorel Preoteasa
   • Stavros Tripakis

   General 07 April 2020 Pages: 689 - 708

   

5. Automating deductive verification for weak-memory programs (extended version)

   • Alexander J. Summers
   • Peter Müller

   General 06 March 2020 Pages: 709 - 728

   

6. Efficient monitoring of hyperproperties using prefix trees

   • Bernd Finkbeiner
   • Christopher Hahn
   • Leander Tentrup

   General Open access 20 February 2020 Pages: 729 - 740

   

7. AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

   • Dejan Ničković
   • Olivier Lebeltel
   • Dogan Ulus

   General 03 August 2020 Pages: 741 - 758

   

8. An efficient statistical model checker for nondeterminism and rare events

   • Carlos E. Budde
   • Pedro R. D’Argenio
   • Sean Sedwards

   General Open access 28 May 2020 Pages: 759 - 780