Skip to main content

International Journal on Software Tools for Technology Transfer

Issue 5/2022

TACAS 2020

Content (10 Articles)

Open Access General

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

Hadar Frenkel, Orna Grumberg, Corina S. Păsăreanu, Sarai Sheinvald

Open Access General

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

Open Access General

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

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari

Open Access General

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

Ruben Hamers, Erik Horlings, Sung-Shik Jongmans

Open Access General

Verifying OpenJDK’s LinkedList using KeY (extended paper)

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Open Access General

Scenario-based verification of uncertain parametric MDPs

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Open Access General

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

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner