ASASP

swMATH6350MaRDI QIDQ18477FDOQ18477

Author name not available (Why is that?)

Cited In (4)

• Symbolic backward reachability with effectively propositional logic. Application to security policy analysis
• SMT-based verification of data-aware processes: a model-theoretic approach
• From model completeness to verification of data aware processes
• EPR-Based Bounded Model Checking at Word Level

This page was built for software: ASASP