163
click to vote
ELP
15 years 7 months ago
1991 
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
144
Voted
REX
15 years 7 months ago
1991
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...
137
Voted
REX
15 years 7 months ago
1991 
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...
121
Voted
REX
15 years 7 months ago
1991 
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...
117
Voted
REX
15 years 7 months ago
1991 |
Logical Reasoning