Case Study on Verification-Witness Validators: Where We Are and Where We Go.
Dirk BeyerJan StrejcekPublished in: SAS (2022)
Keyphrases
- case study
- model checking
- databases
- concurrent systems
- similarity measure
- formal verification
- face verification
- lessons learned
- problem based learning
- practical guidelines
- real time
- functional verification
- formal analysis
- development process
- design process
- knowledge management
- bayesian networks
- three dimensional
- real world
- data sets