An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
From MaRDI portal
Publication:6561342
DOI10.1016/J.JLAMP.2024.100973MaRDI QIDQ6561342FDOQ6561342
Authors: Ran Li, Huibiao Zhu, Richard Banach 
Publication date: 25 June 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
verificationsimulationalgebraic semanticsshared variablesreal-time maudecyber-physical systems (CPS)
Cites Work
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A structural approach to operational semantics
- Laws of programming
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- A brief account of runtime verification
- Modeling in Event B. System and software engineering.
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Unifying theories for logic programming
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Semantics and pragmatics of real-time maude
- Rewriting logic: Roadmap and bibliography
- The safety-critical Java memory model formalised
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- A hybrid relational modelling language
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Compositional Hoare-style reasoning about hybrid CSP in the duration calculus
This page was built for publication: An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561342)
