Login / Signup
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges.
Khalil Ghorbal
Jean-Baptiste Jeannin
Erik Zawadzki
André Platzer
Geoffrey J. Gordon
Peter Capell
Published in:
J. Aerosp. Inf. Syst. (2014)
Keyphrases
</>
theorem proving
automated reasoning
decision procedures
theorem prover
automated deduction
formal methods
parallel search
term rewriting
proof planning
first order logic
distributed search
automated theorem proving
search space
automatic programming
combinatorial search
logical inference