Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.
Dirk BeyerPublished in: ISoLA (1) (2016)
Keyphrases
- verification method
- formal verification
- model checking
- face verification
- data driven
- user interaction
- formal methods
- virtual environment
- database
- image processing
- real time
- expert systems
- user interface
- data analysis
- optimal solution
- virtual reality
- information systems
- solution space
- exact solution
- artificial intelligence
- information retrieval
- linear equations
- neural network
- asynchronous circuits