Specification and verification of synchronization with condition variables.
Pedro de Carvalho GomesDilian GurovMarieke HuismanCyrille ArthoPublished in: Sci. Comput. Program. (2018)
Keyphrases
- formal verification
- formal methods
- model checking
- asynchronous circuits
- sufficient conditions
- databases
- high level
- formal specification
- protocol specification
- face verification
- variable selection
- continuous variables
- software engineering
- decision trees
- artificial intelligence
- data mining
- random variables
- structural model
- relevant variables
- colored petri nets