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

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KRAKATOA
@@ Property / describes a project that uses: KRAKATOA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Caduceus
@@ Property / describes a project that uses: Caduceus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SatAbs
@@ Property / describes a project that uses: SatAbs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Numerica
@@ Property / describes a project that uses: Numerica / rank @@
+Normal rank
@@ 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