Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.
Dang Duy BuiDuong Dinh TranKazuhiro OgataAdrián RiescoPublished in: Multim. Tools Appl. (2024)
Keyphrases
- theorem proving
- state machine
- equational theories
- state machines
- first order logic
- fault tolerant
- inference rules
- theorem prover
- automated reasoning
- finite state machines
- decision procedures
- automated deduction
- automatic programming
- parallel search
- consequence finding
- proof procedure
- geometry theorem proving
- proof planning
- distributed search
- term rewriting
- automated theorem proving
- predicate calculus
- natural deduction
- logical inference
- data integration
- proof search
- timed automata
- object oriented
- data management
- artificial intelligence