Automatic Construction and Verification of Isotopy Invariants.

Volker Sorge Andreas Meier Roy L. McCasland Simon Colton

Published in: IJCAR (2006)

Keyphrases

automatic construction
model checking
formal verification
artificial intelligence
pattern recognition
affine invariant
invariant features
verification method
database
data sets
databases
formal methods
asynchronous circuits
concurrent systems
false acceptance rate
quasi invariant