ISP
From MaRDI portal
Software:17046
No author found.
Related Items (9)
Model Checking Concurrent Programs ⋮ Combining Model Checking and Testing ⋮ System-level state equality detection for the formal dynamic verification of legacy distributed applications ⋮ Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API ⋮ Static Analysis of Communicating Processes Using Symbolic Transducers ⋮ Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings ⋮ TASS: the toolkit for accurate scientific software ⋮ FEVS: a functional equivalence verification suite for high-performance scientific computing ⋮ Collective Assertions
This page was built for software: ISP
