Automatic Software Model Checking Using CLP
No abstract available.
Related papers
- Model Checking in CLP TACAS 1999
- A CLP Approach to Modelling Systems APLAS 2004
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Independence in CLP languages TOPLAS 2000
- Optimizing Compilation of CLP(R) TOPLAS 1998
- Efficient software model checking of soundness of type systems OOPSLA 2008
- Semiring-based contstraint logic programming: syntax and semantics TOPLAS 2001
- Sprout: A Verifier for Symbolic Multiparty Protocols CAV 2025