Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B

DOI10.1007/978-3-319-91271-4_11OpenAlexW2800102471MaRDI QIDQ5881449

Neeraj Kumar Singh, Marc Pantel, Yamine Ait-Ameur, Guillaume Dupont

Publication date: 10 March 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-91271-4_11

zbMATH Keywords

hybrid systemsrefinementEvent-Bdifferential dynamic logichybrid programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Reachability analysis and simulation for hybridised Event-B models

Uses Software

• KeYmaera
• Rodin

Cites Work

• Unnamed Item
• Differential dynamic logic for hybrid systems
• Trusting computations: a mechanized proof from partial differential equations to actual program
• Practical Theory Extension in Event-B
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)

This page was built for publication: Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B