An integrated specification and verification technique for highly concurrent data structures.
Parosh Aziz AbdullaFrédéric HazizaLukás HolíkBengt JonssonAhmed RezinePublished in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
- data structure
- formal verification
- model checking
- asynchronous circuits
- hybrid automata
- formal methods
- protocol specification
- formal specification
- neural network
- concurrent systems
- reactive systems
- signature verification
- data types
- high level
- suffix tree
- machine learning
- efficient data structures
- real world
- data sets
- inverted index
- database systems
- learning algorithm
- colored petri nets
- functional verification