CIRC: A Behavioral Verification Tool Based on Circular Coinduction.
Dorel LucanuEugen-Ioan GoriacGeorgiana CaltaisGrigore RosuPublished in: CALCO (2009)
Keyphrases
- computer vision
- model checking
- database systems
- real time
- formal verification
- data mining
- signature verification
- information systems
- evolutionary algorithm
- hough transform
- asynchronous circuits
- database
- analysis tool
- formal analysis
- software tools
- human behavior
- video sequences
- reinforcement learning
- face recognition
- artificial intelligence
- neural network
- data sets