ASASP
From MaRDI portal
Cited in
(10)- Symbolic backward reachability with effectively propositional logic. Application to security policy analysis
- SMT-based verification of data-aware processes: a model-theoretic approach
- RBAC-PAT
- Mcmt
- Cubicle
- SAFARI
- Booster
- VERIFAS
- EPR-based bounded model checking at word level
- From model completeness to verification of data aware processes
This page was built for software: ASASP
