Automated Inference of Library Specifications for Source-Sink Property Verification.
Haiyan ZhuThomas DilligIsil DilligPublished in: APLAS (2013)
Keyphrases
- concurrent systems
- formal verification
- automated verification
- bounded model checking
- model checking
- model checker
- semi automated
- asynchronous circuits
- high level
- delay insensitive
- protocol specification
- formal specification
- fully automated
- distributed systems
- multiple sources
- bayesian inference
- random fields
- automated tools
- verification method
- conditional random fields
- programming language
- information extraction