Specification and verification of GPGPU programs.
Stefan BlomMarieke HuismanMatej MihelcicPublished in: Sci. Comput. Program. (2014)
Keyphrases
- formal verification
- symbolic execution
- provably correct
- specification language
- asynchronous circuits
- formal methods
- protocol specification
- hardware designs
- model checking
- formal specification
- high level
- control flow
- control program
- computer programs
- test generation
- signature verification
- data sets
- colored petri nets
- source code
- database systems
- case study