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

@@ 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