Verification of Safety Properties in the Presence of Transactions.
Reiner HähnleWojciech MostowskiPublished in: CASSIS (2004)
Keyphrases
- database
- data mining
- genetic algorithm
- face recognition
- asynchronous circuits
- formal verification
- topological properties
- face verification
- desirable properties
- concurrency control
- distributed databases
- model checking
- computer vision
- search engine
- artificial intelligence
- information retrieval
- neural network
- data sets