Specification and Verification of Synchronization with Condition Variables.
Pedro de Carvalho GomesDilian GurovMarieke HuismanPublished in: FTSCS (2016)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- model checking
- sufficient conditions
- formal specification
- protocol specification
- variable selection
- relevant variables
- colored petri nets
- data sets
- fingerprint verification
- face verification
- phase locked
- process algebra
- specification language
- causal models
- high level
- decision trees
- artificial intelligence
- information retrieval