Assertion-based Verification of Behavioral Descriptions with Non-linear Solver.
Iñigo UgartePablo SanchezPublished in: HLDVT (2006)
Keyphrases
- high level
- model checking
- formal verification
- signature verification
- neural network
- object descriptions
- semantic description
- machine learning
- data mining
- evolutionary algorithm
- human behavior
- face verification
- multi agent systems
- constraint solving
- asynchronous circuits
- concurrent systems
- quantified boolean formulas
- databases