A two-level temporal logic for evolving specifications.
From MaRDI portal
Publication:1853062
DOI10.1016/S0020-0190(02)00289-2zbMath1043.68069MaRDI QIDQ1853062
Cristina Sernadas, Pierre-Yves Schobbens, Amílcar Sernadas, Gunter Saake
Publication date: 21 January 2003
Published in: Information Processing Letters (Search for Journal in Brave)
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Cites Work
- Prolegomena to a theory of mechanized formal reasoning
- Decidability results for metric and layered temporal logics
- A two-level temporal logic for evolving specifications.
- The complexity of propositional linear temporal logics
- Theories of -layered metric temporal structures: expressiveness and decidability
- Object Specification Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A two-level temporal logic for evolving specifications.