Sciweavers

REX
1991
14 years 2 months ago
Timed Transition Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
REX
1991
14 years 2 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
REX
1991
14 years 2 months ago
Logics and Models of Real Time: A Survey
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
Rajeev Alur, Thomas A. Henzinger
REX
1991
14 years 2 months ago
The Theory of Timed Automata
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
Rajeev Alur, David L. Dill
REX
1991
14 years 2 months ago
An Old-Fashioned Recipe for Real Time
Martín Abadi, Leslie Lamport