Action refinement in a temporal logic of objects

DOI10.1007/BFB0013980MaRDI QIDQ4518414zbMATH OpenFDO

Authors José Fiadeiro, Tim Maibaum

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0013980

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1953035
• System specification and refinement in temporal logic
• Action refinement and property inheritance in systems of sequential agents
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• scientific article; zbMATH DE number 1304384

Cited in

(17)

• Order-sorted model theory for temporal executable specifications
• Decidability results for metric and layered temporal logics
• A two-level temporal logic for evolving specifications.
• Semantics of temporal classes
• Definability and decidability of binary predicates for time granularity
• scientific article; zbMATH DE number 1304384 (Why is no real title available?)
• System specification and refinement in temporal logic
• scientific article; zbMATH DE number 1735880 (Why is no real title available?)
• scientific article; zbMATH DE number 1953035 (Why is no real title available?)
• scientific article; zbMATH DE number 1795753 (Why is no real title available?)
• scientific article; zbMATH DE number 2086975 (Why is no real title available?)
• Sharing actions and attributes in modal action logic
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Towards the hierarchical verification of reactive systems
• Action refinement and property inheritance in systems of sequential agents
• Encapsulating deontic and branching time specifications
• Compositional reasoning about active objects with shared futures

This page was built for publication: Action refinement in a temporal logic of objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518414)