Uniform substitution for differential refinement logic
From MaRDI portal
Cites work
- A complete uniform substitution calculus for differential dynamic logic
- A uniform substitution calculus for differential dynamic logic
- Automated deduction -- CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1--7, 2015. Proceedings
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
- Differential dynamic logic for hybrid systems
- Differential equation axiomatization. The impressive power of differential ghosts
- Differential equation invariance axiomatization
- Differential Refinement Logic
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
- Kleene algebra with hypotheses
- Logical foundations of cyber-physical systems
- Modeling in Event B. System and software engineering.
- ModelPlex: verified runtime validation of verified cyber-physical system models
- Practical theory extension in Event-B
- Uniform substitution at one Fell swoop
- Uniform substitution for differential game logic
- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
This page was built for publication: Uniform substitution for differential refinement logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034590)
