Verification of Certifying Computations.
Eyad AlkassarSascha BöhmeKurt MehlhornChristine RizkallahPublished in: CAV (2011)
Keyphrases
- model checking
- formal verification
- real time
- database
- verification method
- signature verification
- formal methods
- probabilistic model
- protocol specification
- concurrent systems
- person identification
- face verification
- preprocessing
- feature extraction
- three dimensional
- metadata
- knowledge base
- web pages
- learning algorithm
- neural network
- databases
- data sets