Towards a GPGPU-parallel SPIN model checker.
Ezio BartocciRichard DeFranciscoScott A. SmolkaPublished in: SPIN (2014)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- symbolic model checking
- graphics processing units
- set theory
- specification language
- shared memory
- parallel processing
- parallel implementation
- error rate
- gray scale
- test suite
- programming language
- binary decision diagrams
- image analysis
- artificial intelligence