GRASShopper - Complete Heap Verification with Mixed Specifications.
Ruzica PiskacThomas WiesDamien ZuffereyPublished in: TACAS (2014)
Keyphrases
- automated verification
- model checking
- formal verification
- concurrent systems
- bounded model checking
- asynchronous circuits
- data structure
- model checker
- formal specification
- protocol specification
- high level
- website
- data sets
- face verification
- multiscale
- artificial intelligence
- delay insensitive
- genetic algorithm
- neural network
- databases