Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 2/2021

Ausgabe 2/2021

RV 2018

Inhaltsverzeichnis ( 8 Artikel )

18.05.2020 | General | Ausgabe 2/2021 Open Access

Verification and refutation of C programs based on k-induction and invariant inference

Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista

08.06.2020 | General | Ausgabe 2/2021

Automata-based monitoring for LTL-FO

Raphaël Khoury, Sylvain Hallé, Yannick Lebrun

01.02.2021 | General | Ausgabe 2/2021

Preface

Martin Leucker, Christian Colombo

26.04.2021 | General | Ausgabe 2/2021

Stream runtime verification of real-time event streams with the Striver language

Felipe Gorostiaga, César Sánchez

05.06.2021 | General | Ausgabe 2/2021 Open Access

Scalable online first-order monitoring

Joshua Schneider, David Basin, Frederik Brix, Srđan Krstić, Dmitriy Traytel

27.02.2021 | General | Ausgabe 2/2021 Open Access

From parametric trace slicing to rule systems

Giles Reger, David Rydeheard

27.03.2021 | General | Ausgabe 2/2021

Diagnosing timed automata using timed markings

Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey

18.05.2021 | General | Ausgabe 2/2021

A taxonomy for classifying runtime verification tools

Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel

Aktuelle Ausgaben

Premium Partner