YASM
From MaRDI portal
Software:21453
swMATH9470MaRDI QIDQ21453FDOQ21453
Author name not available (Why is that?)
Cited In (13)
- Paraconsistent computation tree logic
- Compositional may-must program analysis
- Temporal property verification as a program analysis task
- Title not available (Why is that?)
- Verification of evolving software via component substitutability analysis
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
- On the consistency, expressiveness, and precision of partial modeling formalisms
- Model Checking Recursive Programs with Exact Predicate Abstraction
- Tools and Algorithms for the Construction and Analysis of Systems
- Monitoring and recovery for web service applications
- A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement
- 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
