Automatic Construction and Verification of Isotopy Invariants.
Volker SorgeAndreas MeierRoy L. McCaslandSimon ColtonPublished in: J. Autom. Reason. (2008)
Keyphrases
- automatic construction
- model checking
- moment invariants
- neural network
- formal verification
- signature verification
- formal methods
- imperative programs
- functional verification
- high security
- asynchronous circuits
- fingerprint verification
- formal analysis
- database
- invariant features
- multi agent
- feature extraction
- machine learning
- data sets