An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
From MaRDI portal
Publication:6561342
Cites work
- scientific article; zbMATH DE number 3793435 (Why is no real title available?)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- A brief account of runtime verification
- A hybrid relational modelling language
- A structural approach to operational semantics
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- An axiomatic basis for computer programming
- Compositional Hoare-style reasoning about hybrid CSP in the duration calculus
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Laws of programming
- Modeling in Event B. System and software engineering.
- Rewriting logic: Roadmap and bibliography
- Semantics and pragmatics of real-time maude
- The safety-critical Java memory model formalised
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Unifying theories for logic programming
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)
