Model Checking in CLP
No abstract available.
Related papers
- Automatic Software Model Checking Using CLP ESOP 2003
- A CLP Approach to Modelling Systems APLAS 2004
- Optimizing Compilation of CLP(R) TOPLAS 1998
- Semiring-based contstraint logic programming: syntax and semantics TOPLAS 2001
- Sprout: A Verifier for Symbolic Multiparty Protocols CAV 2025
- Typing Linear Constraints for Moding CLP() Programs SAS 2008
- Backtracking without Trailing in CLP(R-lin) TOPLAS 1995
- STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation SAS 1996