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