Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.
Paula HerberJulius AdeltTimm LiebrenzPublished in: Software Engineering (Satellite Events) (2021)
Keyphrases
- theorem prover
- formal verification
- cyber physical systems
- computer algebra systems
- model checking
- theorem proving
- cyber physical
- automated reasoning
- term rewriting
- first order logic
- inference rules
- formal proof
- intelligent systems
- decision support
- physical world
- natural deduction
- proof search
- cyber security
- bayesian networks
- data analysis
- software engineering
- decision making
- embedded systems
- ambient intelligence