Modular refinement of hierarchic reactive machines

DOI10.1145/325694.325746MaRDI QIDQ5178866zbMATH OpenOpenAlexFDO

Authors Radu Grosu, Rajeev Alur

Publication date 17 March 2015

Published in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/325694.325746

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1794359
• scientific article; zbMATH DE number 1670783
• Compositional modeling and refinement for hierarchical hybrid systems
• Towards the hierarchical verification of reactive systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

Cited in

(8)

• A methodology to take credit for high-level verification during RTL verification
• Compositional modeling and refinement for hierarchical hybrid systems
• The computational complexity of scenario-based agent verification and design
• scientific article; zbMATH DE number 1670783 (Why is no real title available?)
• Dynamic Reactive Modules
• Reactive Turing machines
• scientific article; zbMATH DE number 1104403 (Why is no real title available?)
• Compositional approach to the development of reactive algorithms

Describes a project that uses

Uses Software

• MOCHA

This page was built for publication: Modular refinement of hierarchic reactive machines

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