Experience Report: Verifying MPI Java Programs Using Software Model Checking.
Muhammad Sohaib AyubWaqas ur RehmanJunaid Haroon SiddiquiPublished in: ISSRE (2017)
Keyphrases
- model checking
- java programs
- temporal logic
- software components
- multi threaded
- formal verification
- formal specification
- automated verification
- temporal properties
- formal methods
- verification method
- model checker
- test suite
- java virtual machine
- computation tree logic
- timed automata
- symbolic model checking
- epistemic logic
- bounded model checking
- software development
- message passing
- reactive systems
- general purpose
- transition systems
- case study
- high performance computing
- parallel computing
- software systems
- multi agent systems
- artificial intelligence