The following pages link to ASASP (Q18477):
Displayed 4 items.
- From model completeness to verification of data aware processes (Q2185467) (← links)
- Symbolic backward reachability with effectively propositional logic. Application to security policy analysis (Q2441771) (← links)
- EPR-Based Bounded Model Checking at Word Level (Q2908493) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)