swMATH6350MaRDI QIDQ18477FDOQ18477
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-22438-6_4
Cited In (9)
- Symbolic backward reachability with effectively propositional logic. Application to security policy analysis
- SMT-based verification of data-aware processes: a model-theoretic approach
- Mcmt
- Cubicle
- EPR-based bounded model checking at word level
- SAFARI
- Booster
- VERIFAS
- From model completeness to verification of data aware processes
This page was built for software: ASASP
