An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.
Parosh Aziz AbdullaFrédéric HazizaLukás HolíkBengt JonssonAhmed RezinePublished in: TACAS (2013)
Keyphrases
- data structure
- formal verification
- asynchronous circuits
- hybrid automata
- model checking
- protocol specification
- formal methods
- face verification
- formal specification
- colored petri nets
- high level
- search engine
- multidimensional data
- data sets
- conceptual model
- data types
- distributed systems
- verification method
- machine learning