Specification and Verification of Atomic Operations in GPGPU Programs.
Afshin AmighiSaeed DarabiStefan BlomMarieke HuismanPublished in: SEFM (2015)
Keyphrases
- formal verification
- provably correct
- formal methods
- symbolic execution
- specification language
- application programs
- language constructs
- model checking
- hardware designs
- asynchronous circuits
- formal specification
- high level
- primitive operations
- automatic programming
- business rules
- programming environment
- energy aware
- protocol specification
- real time
- control program
- source code
- programming language
- design space exploration
- data model
- high level programming language