scientific article; zbMATH DE number 1304997
From MaRDI portal
Publication:4251919
zbMath0928.03019MaRDI QIDQ4251919
Publication date: 12 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polynomial spacereal-time verificationreal-time extensions of temporal logictableau constructions for model checking
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Zeno, Hercules, and the Hydra, Future temporal logic needs infinitely many modalities, Efficient timed model checking for discrete-time systems, The Expressive Power of Temporal and First-Order Metric Logics, Temporal logics with incommensurable distances are undecidable, A survey on temporal logics for specifying and verifying real-time systems, Continuous time temporal logic with counting, Some Recent Results in Metric Temporal Logic, Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities, Complexity of metric temporal logics with counting and the Pnueli modalities, On the expressiveness of TPTL and MTL, Timer formulas and decidable metric temporal logic, A first order logic for specification of timed algorithms: Basic properties and a decidable class, Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, Decidable metric logics, Model-checking Timed Temporal Logics, Product interval automata, Decidable verification for reducible timed automata specified in a first order logic with time
