CPBPV: a constraint-programming framework for bounded program verification
DOI10.1007/S10601-009-9089-9zbMATH Open1213.68173OpenAlexW2604202109MaRDI QIDQ968353FDOQ968353
Pascal Van Hentenryck, Michel Rueher, Hélène Collavizza
Publication date: 5 May 2010
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-009-9089-9
Recommendations
bounded program verificationconstraint-based symbolic executiondetection of nonconformitiestest cases generation
Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- CPBPV: a constraint-programming framework for bounded program verification
- Computer Aided Verification
- Bounded model checking using satisfiability solving
- Tools and Algorithms for the Construction and Analysis of Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
- Abstraction Refinement of Linear Programs with Arrays
- Challenges in Satisfiability Modulo Theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Efficient SAT-based bounded model checking for software verification
- Predicate abstraction of ANSI-C programs using SAT
- Automatic software model checking via constraint logic
- Test Data Generation of Bytecode by CLP Partial Evaluation
- Title not available (Why is that?)
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
Cited In (3)
Uses Software
This page was built for publication: CPBPV: a constraint-programming framework for bounded program verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q968353)
