ASASP
From MaRDI portal
Software:18477
No author found.
Related Items (4)
EPR-Based Bounded Model Checking at Word Level ⋮ From model completeness to verification of data aware processes ⋮ Symbolic backward reachability with effectively propositional logic. Application to security policy analysis ⋮ SMT-based verification of data-aware processes: a model-theoretic approach
This page was built for software: ASASP
