CPBPV: a constraint-programming framework for bounded program verification (Q968353): Difference between revisions

@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-009-9089-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2604202109
@@ Property / OpenAlex ID: W2604202109 / rank @@
+Normal rank
@@ Property / cites work @@
+Test Data Generation of Bytecode by CLP Partial Evaluation
+Normal rank
@@ Property / cites work @@
+Abstraction Refinement of Linear Programs with Arrays
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769592
@@ Property / cites work: Q2769592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Predicate abstraction of ANSI-C programs using SAT
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+CPBPV: a constraint-programming framework for bounded program verification
+Normal rank
@@ Property / cites work @@
+Q4939270
@@ Property / cites work: Q4939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic software model checking via constraint logic
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient SAT-based bounded model checking for software verification
+Normal rank
@@ Property / cites work @@
+Q4417955
@@ Property / cites work: Q4417955 / rank @@
+Normal rank
@@ Property / cites work @@
+Challenges in Satisfiability Modulo Theories
@@ Property / cites work: Challenges in Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q3489527
@@ Property / cites work: Q3489527 / rank @@
+Normal rank