A Survey on Theorem Provers in Formal Methods.
M. Saqib NawazMoin MalikYi LiMeng SunMuhammad Ikram Ullah LaliPublished in: CoRR (2019)
Keyphrases
- formal methods
- theorem prover
- theorem proving
- automated reasoning
- automated theorem proving
- first order logic
- automated deduction
- model checking
- inference rules
- formal analysis
- computer algebra
- higher order logic
- knowledge based systems
- artificial intelligence
- model checker
- formal specification
- safety critical
- process algebra
- software engineering
- formal semantics
- modeling language
- expert systems
- natural language
- proof search
- database
- development lifecycle