A verification method for systolic arrays using induction-based theorem provers.
Kazuko TakahashiHiroshi FujitaPublished in: Artif. Intell. Eng. (1999)
Keyphrases
- verification method
- theorem prover
- proof search
- proof planning
- model checking
- theorem proving
- temporal logic
- automated reasoning
- first order logic
- automated deduction
- computer algebra
- inference rules
- automated theorem proving
- term rewriting
- inductive logic programming
- higher order logic
- formal semantics
- inductive learning
- natural deduction
- proof procedure
- timed automata
- rule induction