Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020 Armin BiereDavid Parker General Open access 23 September 2022 Pages: 663 - 665
Assume, guarantee or repair: a regular framework for non regular properties Hadar FrenkelOrna GrumbergSarai Sheinvald General Open access 29 September 2022 Pages: 667 - 689
A calculus for modular loop acceleration and non-termination proofs Florian FrohnCarsten Fuhs General Open access 07 October 2022 Pages: 691 - 715
The CoLiS platform for the analysis of maintainer scripts in Debian software packages Benedikt BeckerNicolas JeannerodRalf Treinen General 23 September 2022 Pages: 717 - 733
Partial-order reduction for parity games and parameterised Boolean equation systems Thomas NeeleTim A. C. WillemseAntti Valmari General Open access 02 October 2022 Pages: 735 - 756
The Discourje project: run-time verification of communication protocols in Clojure Ruben HamersErik HorlingsSung-Shik Jongmans General Open access 20 September 2022 Pages: 757 - 782
Verifying OpenJDK’s LinkedList using KeY (extended paper) Hans-Dieter A. HiepOlaf MaathuisStijn de Gouw General Open access 17 October 2022 Pages: 783 - 802
Scenario-based verification of uncertain parametric MDPs Thom BadingsMurat CubuktepeUfuk Topcu General Open access 14 September 2022 Pages: 803 - 819
Analysis of non-Markovian repairable fault trees through rare event simulation Carlos E. BuddePedro R. D’ArgenioMariëlle Stoelinga General Open access 04 November 2022 Pages: 821 - 841
Full-program induction: verifying array programs sans loop invariants Supratik ChakrabortyAshutosh GuptaDivyesh Unadkat General 29 September 2022 Pages: 843 - 888