A new integrated system for PLA testing and verification.
Fabio SomenziSilvano GaiMarco MezzalamaPaolo PrinettoPublished in: DAC (1983)
Keyphrases
- formal verification
- symbolic execution
- test generation
- model checking
- data sets
- test cases
- web pages
- decision trees
- case study
- feature extraction
- probabilistic model
- face detection
- information systems
- artificial intelligence
- face verification
- static analysis
- real world
- databases
- integrating multiple
- person identification
- verification method
- database