VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs.
Sylvia GrewePublished in: SPLASH (Companion Volume) (2016)
Keyphrases
- domain knowledge
- automated verification
- bounded model checking
- domain experts
- asynchronous circuits
- concurrent systems
- formal verification
- machine learning
- model checker
- theorem proving
- database
- formal specification
- verification method
- control knowledge
- control flow
- domain theory
- knowledge sources
- model checking
- background knowledge
- natural language
- data mining
- neural network