Automated Verification by Induction with Associative-Commutative Operators.

Narjes Berregeb Adel Bouhoula Michaël Rusinowitch

Published in: CAV (1996)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
temporal logic
morphological operators
program synthesis
rule induction
knowledge representation
graph theory
spreading activation
neural network
database systems
graph cuts
inductive learning
inductive inference