Formal verification of systolic networks using theorem proving techniques (abstract only).
David Y. Y. YunY. YunChang Nian ZhangPublished in: ACM Conference on Computer Science (1987)
Keyphrases
- theorem proving
- formal verification
- model checking
- automated reasoning
- first order logic
- automated verification
- inference rules
- symbolic model checking
- automated deduction
- parallel search
- theorem prover
- bounded model checking
- decision procedures
- model checker
- proof planning
- automatic programming
- proof procedure
- automated theorem proving
- term rewriting
- combinatorial search
- logical inference
- proof search
- temporal logic
- predicate calculus
- timed automata
- training data
- formal specification
- probability distribution