Correction to: 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. (2021)
Keyphrases
- data structure
- formal verification
- model checking
- formal methods
- asynchronous circuits
- protocol specification
- hybrid automata
- mutual exclusion
- efficient data structures
- concurrent systems
- formal specification
- data types
- index structure
- face verification
- specification language
- temporal logic
- distributed systems
- database
- suffix tree
- reactive systems
- provably correct
- high level
- artificial intelligence