scientific article; zbMATH DE number 1390056
From MaRDI portal
Publication:4934321
zbMath0941.03017MaRDI QIDQ4934321
Anatol Slissenko, Danièle Beauquier
Publication date: 26 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationdecidable classesspecification of real-time systemsfirst-order timed logicruns of timed algorithms
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items
Periodicity based decidable classes in a first order timed logic, Decidable properties for monadic abstract state machines, A first order logic for specification of timed algorithms: Basic properties and a decidable class, Decidable verification for reducible timed automata specified in a first order logic with time