Superposition refinement of reactive systems
From MaRDI portal
Publication:1918935
DOI10.1007/BF01214918zbMath0852.68008MaRDI QIDQ1918935
Publication date: 23 July 1996
Published in: Formal Aspects of Computing (Search for Journal in Brave)
68N01: General topics in the theory of software
Related Items
Verification of distributed systems with local-global predicates, Retrenchment for Event-B: UseCase-wise development and Rodin integration, Simple feature engineering via neat default retrenchments, Algebraic reasoning for probabilistic action systems and while-loops, Procedures and atomicity refinement, Coordinating action systems, Patterns for Refinement Automation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A theoretical basis for stepwise refinement and the programming calculus
- Stepwise refinement of parallel algorithms
- A calculus of refinements for program derivations
- On-the-fly garbage collection
- The specification statement
- A Methodology for Developing Distributed Programs