Formal Verification of Quadcopter Flight Envelop Using Theorem Prover.
Omar A. JasimSandor M. VeresPublished in: CCTA (2018)
Keyphrases
- formal verification
- theorem prover
- model checking
- automated reasoning
- automated theorem proving
- first order logic
- term rewriting
- inference rules
- automated verification
- theorem proving
- model checker
- computer algebra
- bounded model checking
- symbolic model checking
- flight data
- formal semantics
- boolean algebra
- timed automata
- formal proof
- program slicing
- computer algebra systems
- natural deduction
- proof search
- description language
- knowledge representation