Verification Witnesses.
Dirk BeyerMatthias DanglDaniel DietschMatthias HeizmannThomas LembergerMichael TautschnigPublished in: ACM Trans. Softw. Eng. Methodol. (2022)
Keyphrases
- model checking
- face verification
- expert systems
- functional verification
- concurrent systems
- formal verification
- signature verification
- neural network
- multi agent
- image sequences
- machine learning
- high quality
- multiresolution
- special case
- high level
- multimedia
- knowledge base
- decision making
- feature selection
- false acceptance rate