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