Cited in
(27)- Model checking concurrent programs
- Static analysis of communicating processes using symbolic transducers
- Combining model checking and testing
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- MPI-CHECK
- CalFuzzer
- TVOC
- TASS_
- ADL
- Gauss
- MARMOT
- ConTest
- YASM
- SIMGRID
- SpecExplorer
- MoonWalker
- Looper
- SimGridMC
- CATG
- KLEE-FP
- Checkmate
- Con2colic
- Collective assertions
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
- FEVS: a functional equivalence verification suite for high-performance scientific computing
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- TASS: the toolkit for accurate scientific software
This page was built for software: ISP
