swMATH4895MaRDI QIDQ17046FDOQ17046
Author name not available (Why is that?)
Official website: http://en.wikipedia.org/wiki/ISP_Formal_Verification_Tool
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
- Collective assertions
- Gauss
- MARMOT
- ConTest
- YASM
- SIMGRID
- SpecExplorer
- MoonWalker
- Looper
- SimGridMC
- CATG
- KLEE-FP
- Checkmate
- Con2colic
- 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
