Verification of MPI-Based Software for Scientific Computation.
Stephen F. SiegelGeorge S. AvruninPublished in: SPIN (2004)
Keyphrases
- source code
- computer systems
- software tools
- software systems
- formal methods
- general purpose
- model checking
- software architecture
- hardware designs
- formal verification
- scientific literature
- development process
- data sets
- website
- parallel algorithm
- embedded systems
- software projects
- test cases
- software maintenance
- operating system
- software package
- hardware design
- software development
- case study
- scientific discovery