Skip to main content


International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 6/2020

Ausgabe 6/2020

TACAS 2018 (pp. 685-728)

Inhaltsverzeichnis ( 8 Artikel )

13.11.2019 | General | Ausgabe 6/2020

On ranking functions for single-path linear-constraint loops

Yi Li, Wenyuan Wu, Yong Feng

26.10.2019 | General | Ausgabe 6/2020

Enabling continuous integration in a formal methods setting

Luis Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen

13.07.2020 | General | Ausgabe 6/2020 Open Access

Tools for the construction and analysis of systems

A special issue for TACAS 2018
Dirk Beyer, Marieke Huisman

07.04.2020 | General | Ausgabe 6/2020

The Refinement Calculus of Reactive Systems Toolset

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

06.03.2020 | General | Ausgabe 6/2020

Automating deductive verification for weak-memory programs (extended version)

Alexander J. Summers, Peter Müller

20.02.2020 | General | Ausgabe 6/2020 Open Access

Efficient monitoring of hyperproperties using prefix trees

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

03.08.2020 | General | Ausgabe 6/2020

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

Dejan Ničković, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

28.05.2020 | General | Ausgabe 6/2020 Open Access

An efficient statistical model checker for nondeterminism and rare events

Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards

Aktuelle Ausgaben

Premium Partner