Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.
Hengbiao YuZhenbang ChenChun HuangJi WangPublished in: SETTA (2020)
Keyphrases
- symbolic execution
- intermediate level
- hardware designs
- general purpose
- computer programs
- parallel implementation
- model checking
- database languages
- black box
- parallel computing
- turing machine
- message passing
- programming environment
- high level
- formal verification
- information systems
- verification method
- asynchronous circuits
- graph cuts
- control flow
- database
- symbolic representation