Compositional Checking of Satisfaction
Abstract elided by the publisher.
Related papers
- Model Checking and Modular Verification TOPLAS 1994
- Deciding validity in a spatial logic for trees JFP 2005
- Encoding Redundancy for Satisfaction-Driven Clause Learning TACAS 2019
- Domain Generating Functions for Solving Constraint Satisfaction Problems JFP 1991
- Modular lazy search for Constraint Satisfaction Problems JFP 2001
- A Deductive System for Contract Satisfaction Proofs PLDI 2026
- Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI 2020
- Cooperative Specification via Composition Control SLE 2024