Ausgabe 1-3/2014
INTERVAL TEMPORAL LOGICS
Inhalt (7 Artikel)
Guest editors’ preface to special issue on interval temporal logics
Ben Moszkowski, Dimitar Guelev, Martin Leucker
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
The dark side of interval temporal logic: marking the undecidability border
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Interval-based temporal functional dependencies: specification and verification
Carlo Combi, Pietro Sala
RGITL: A temporal logic framework for compositional reasoning about interleaved programs
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
A practical approach to model checking Duration Calculus using Presburger Arithmetic
Michael R. Hansen, Anh-Dung Phan, Aske W. Brekling