Modular refinement of hierarchic reactive machines
From MaRDI portal
Publication:5178866
DOI10.1145/325694.325746zbMath1323.68196OpenAlexW2074070820MaRDI QIDQ5178866
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Compositional modeling and refinement for hierarchical hybrid systems ⋮ The computational complexity of scenario-based agent verification and design ⋮ A methodology to take credit for high-level verification during RTL verification ⋮ Compositional approach to the development of reactive algorithms ⋮ Dynamic Reactive Modules
Uses Software
This page was built for publication: Modular refinement of hierarchic reactive machines
