1. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020

   • Armin Biere
   • David Parker

   General Open access 23 September 2022 Pages: 663 - 665

2. Assume, guarantee or repair: a regular framework for non regular properties

   • Hadar Frenkel
   • Orna Grumberg
   • Sarai Sheinvald

   General Open access 29 September 2022 Pages: 667 - 689

   

3. A calculus for modular loop acceleration and non-termination proofs

   • Florian Frohn
   • Carsten Fuhs

   General Open access 07 October 2022 Pages: 691 - 715

   

4. The CoLiS platform for the analysis of maintainer scripts in Debian software packages

   • Benedikt Becker
   • Nicolas Jeannerod
   • Ralf Treinen

   General 23 September 2022 Pages: 717 - 733

   

5. Partial-order reduction for parity games and parameterised Boolean equation systems

   • Thomas Neele
   • Tim A. C. Willemse
   • Antti Valmari

   General Open access 02 October 2022 Pages: 735 - 756

   

6. The Discourje project: run-time verification of communication protocols in Clojure

   • Ruben Hamers
   • Erik Horlings
   • Sung-Shik Jongmans

   General Open access 20 September 2022 Pages: 757 - 782

   

7. Verifying OpenJDK’s LinkedList using KeY (extended paper)

   • Hans-Dieter A. Hiep
   • Olaf Maathuis
   • Stijn de Gouw

   General Open access 17 October 2022 Pages: 783 - 802

   

8. Scenario-based verification of uncertain parametric MDPs

   • Thom Badings
   • Murat Cubuktepe
   • Ufuk Topcu

   General Open access 14 September 2022 Pages: 803 - 819

   

9. Analysis of non-Markovian repairable fault trees through rare event simulation

   • Carlos E. Budde
   • Pedro R. D’Argenio
   • Mariëlle Stoelinga

   General Open access 04 November 2022 Pages: 821 - 841

   

10. Full-program induction: verifying array programs sans loop invariants

    • Supratik Chakraborty
    • Ashutosh Gupta
    • Divyesh Unadkat

    General 29 September 2022 Pages: 843 - 888