Integrating Model Checking and Theorem Proving in a Reflective Functional Language.
Thomas F. MelhamPublished in: IFM (2004)
Keyphrases
- model checking
- theorem proving
- functional language
- proof planning
- timed automata
- temporal logic
- theorem prover
- first order logic
- decision procedures
- concept formation
- functional programming
- automated reasoning
- inference rules
- building intelligent
- proof procedure
- programming language
- proof search
- search space
- multi agent
- modal logic
- predicate calculus
- fixed point
- artificial intelligence