Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization
Abstract elided by the publisher.
Related papers
- On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic ESOP 2025
- Preface for special section from FLOPS 2014 JFP 2016
- Design Constraints in Symbolic Model Checking CAV 1998
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints CAV 1997
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- Compilation of a specialized functional language for massively parallel computers JFP 2000
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- String constraints with concatenation and transducers solved efficiently POPL 2018