Ausgabe 2/2021
RV 2018
Inhalt (8 Artikel)
Open Access
General
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
General
Stream runtime verification of real-time event streams with the Striver language
Felipe Gorostiaga, César Sánchez
Open Access
General
Scalable online first-order monitoring
Joshua Schneider, David Basin, Frederik Brix, Srđan Krstić, Dmitriy Traytel
General
Diagnosing timed automata using timed markings
Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
General
A taxonomy for classifying runtime verification tools
Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel