YASM
From MaRDI portal
Cited in
(25)- MPI-CHECK
- WSAT
- Paraconsistent computation tree logic
- BPEL2PN
- ComFoRT
- Falsification-aware semantics and sequent calculi for classical logic
- Gauss
- HSF
- SIMGRID
- TTM
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Temporal property verification as a program analysis task
- MoonWalker
- Whale: an interpolation-based algorithm for inter-procedural verification
- Model Checking Recursive Programs with Exact Predicate Abstraction
- SimGridMC
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- AO4BPEL
- Monitoring and recovery for web service applications
- Efficient CTL verification via Horn constraints solving
- Compositional may-must program analysis: unleashing the power of alternation
- PoMMaDe
- Tools and Algorithms for the Construction and Analysis of Systems
- On the consistency, expressiveness, and precision of partial modeling formalisms
- Verification of evolving software via component substitutability analysis
This page was built for software: YASM
