REX 1991 | Sciweavers

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

claim paper

Read More »

51

click to vote

REX
1991

138views Logical Reasoning» more REX 1991»

Logics and Models of Real Time: A Survey

14 years 4 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

42

click to vote

REX
1991

89views Logical Reasoning» more REX 1991»

The Theory of Timed Automata

14 years 4 months ago

Download www.seas.upenn.edu

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

claim paper

Read More »

28

click to vote

REX
1991

115views Logical Reasoning» more REX 1991»

An Old-Fashioned Recipe for Real Time

14 years 4 months ago

Download research.microsoft.com

Martín Abadi, Leslie Lamport

claim paper