Volume 24, Issue 5

Search all International Journal on Software Tools for Technology Transfer articles

October 2022

TACAS 2020

Filter by

Volume:

Sort by

Date published:

New to old Old to new

10 articles in this issue

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
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
A calculus for modular loop acceleration and non-termination proofs
Florian Frohn
Carsten Fuhs
General Open access 07 October 2022 Pages: 691 - 715
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
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
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
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
Scenario-based verification of uncertain parametric MDPs
Thom Badings
Murat Cubuktepe
Ufuk Topcu
General Open access 14 September 2022 Pages: 803 - 819
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
Full-program induction: verifying array programs sans loop invariants
Supratik Chakraborty
Ashutosh Gupta
Divyesh Unadkat
General 29 September 2022 Pages: 843 - 888

Volume 24, Issue 5

Search

Navigation