Specification and verification: the Spec# experience.
Mike BarnettManuel FähndrichK. Rustan M. LeinoPeter MüllerWolfram SchulteHerman VenterPublished in: Commun. ACM (2011)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- protocol specification
- formal specification
- neural network
- model checking
- website
- multiscale
- high level
- benchmark suite
- bayesian networks
- conceptual model
- face verification
- signature verification
- metadata
- person identification
- information retrieval
- colored petri nets
- machine learning