Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 5/2022

TACAS 2020

Inhalt (10 Artikel)

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

General

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

General

Full-program induction: verifying array programs sans loop invariants

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner