YASM
From MaRDI portal
Software:21453
No author found.
Related Items (13)
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification ⋮ System-level state equality detection for the formal dynamic verification of legacy distributed applications ⋮ On the consistency, expressiveness, and precision of partial modeling formalisms ⋮ Unnamed Item ⋮ Temporal property verification as a program analysis task ⋮ Model Checking Recursive Programs with Exact Predicate Abstraction ⋮ Verification of evolving software via component substitutability analysis ⋮ Monitoring and recovery for web service applications ⋮ Paraconsistent computation tree logic ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement ⋮ Falsification-aware semantics and sequent calculi for classical logic ⋮ Compositional may-must program analysis
This page was built for software: YASM
