The following pages link to YASM (Q21453):
Displaying 13 items.
- Monitoring and recovery for web service applications (Q488218) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
- A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement (Q3648705) (← links)
- (Q5015366) (← links)
- Compositional may-must program analysis (Q5255061) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899060) (← links)
