Coq's vibrant ecosystem for verification engineering (invited talk).
Andrew W. AppelPublished in: CPP (2022)
Keyphrases
- invited talk
- formal methods
- knowledge discovery and data mining
- selected papers
- software engineering
- model checking
- artificial intelligence
- carefully reviewed and selected from submissions
- engineering design
- computer science
- face verification
- theorem prover
- formal verification
- engineering problems
- verification method
- design process
- fuzzy logic
- mobile devices
- program committee