ISP
From MaRDI portal
Software:17046
swMATH4895MaRDI QIDQ17046FDOQ17046
Author name not available (Why is that?)
Cited In (9)
- Model Checking Concurrent Programs
- Static Analysis of Communicating Processes Using Symbolic Transducers
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- 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
- Combining Model Checking and Testing
- Collective Assertions
- 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
