Mechanised Verification Patterns for Dafny.
Gudmund GrovYuhui LinVytautas TumasPublished in: FM (2016)
Keyphrases
- model checking
- previously unknown
- pattern discovery
- pattern mining
- neural network
- sequential patterns
- distributed systems
- image sequences
- learning environment
- relational databases
- web services
- metadata
- decision making
- information retrieval
- data mining
- pattern analysis
- temporal patterns
- face verification
- data sets
- formal verification