On refinement and temporal annotations

DOI10.1007/3-540-45352-0_16MaRDI QIDQ2766650zbMATH OpenFDO

Authors Ron van der Meyden, Yoram Moses

Publication date 17 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45352-0_16

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On using temporal logic for refinement and compositional verification of concurrent systems
• A calculus of refinements for program derivations
• Real-time refinement in Manna and Pnueli's temporal logic
• Minimal refinements of specifications in modal and temporal logics
• A specification-oriented semantics for the refinement of real-time systems

Cited in

(2)

• Adding temporal annotations and associated verification to Ravenscar profile
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)

This page was built for publication: On refinement and temporal annotations

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