A parametric rely-guarantee reasoning framework for concurrent reactive systems
From MaRDI portal
Publication:6535947
DOI10.1007/978-3-030-30942-8_11zbMATH Open1539.68203MaRDI QIDQ6535947
Fuyuan Zhang, Yang Liu, Yongwang Zhao, David Sanán
Publication date: 14 March 2024
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generalised rely-guarantee concurrency: an algebraic foundation
- Towards a formal treatment of implicit invocation using rely/guarantee reasoning
- The Rely-Guarantee method for verifying shared variable concurrent programs
- Superposition refinement of reactive systems
- An algebra of synchronous atomic steps
- On Rely-Guarantee Reasoning
- A rely-guarantee-based simulation for verifying concurrent program transformations
- CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs
- Tentative steps toward a development method for interfering programs
- Noninterference for Operating System Kernels
- Reactive Systems
This page was built for publication: A parametric rely-guarantee reasoning framework for concurrent reactive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535947)
