Action refinement from a logical point of view

DOI10.1007/3-540-36384-X_21MaRDI QIDQ4414393zbMATH OpenFDO

Authors Naijun Zhan, Mila Majster-Cederbaum, Harald Fecher

Publication date 25 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2575/25750253.htm

zbMATH Keywords

action refinementmodal logicsreactive systemsspecificationverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Towards the hierarchical verification of reactive systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Action refinement in a temporal logic of objects
• Correctness by construction: Towards verification in hierarchical system development
• Model checking action system refinements

Cited in

(7)

• On hierarchically developing reactive systems
• Correctness by construction: Towards verification in hierarchical system development
• Action refinement in a temporal logic of objects
• scientific article; zbMATH DE number 1795753 (Why is no real title available?)
• 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

This page was built for publication: Action refinement from a logical point of view

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