Ausgabe 5/2022
TACAS 2020
Inhalt (10 Artikel)
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Armin Biere, David Parker
Assume, guarantee or repair: a regular framework for non regular properties
Hadar Frenkel, Orna Grumberg, Corina S. Păsăreanu, Sarai Sheinvald
A calculus for modular loop acceleration and non-termination proofs
Florian Frohn, Carsten Fuhs
The CoLiS platform for the analysis of maintainer scripts in Debian software packages
Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
Partial-order reduction for parity games and parameterised Boolean equation systems
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari
The Discourje project: run-time verification of communication protocols in Clojure
Ruben Hamers, Erik Horlings, Sung-Shik Jongmans
Verifying OpenJDK’s LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
Scenario-based verification of uncertain parametric MDPs
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Analysis of non-Markovian repairable fault trees through rare event simulation
Carlos E. Budde, Pedro R. D’Argenio, Raúl E. Monti, Mariëlle Stoelinga
Full-program induction: verifying array programs sans loop invariants
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat