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