Horn Clause Solvers for Program Verification (Q2947164): Difference between revisions

@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriMAP
@@ Property / describes a project that uses: VeriMAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SeaHorn
@@ Property / describes a project that uses: SeaHorn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Refal
@@ Property / describes a project that uses: Refal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Booster
@@ Property / describes a project that uses: Booster / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Spacer
@@ Property / describes a project that uses: Spacer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HMC
@@ Property / describes a project that uses: HMC / 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/978-3-319-23534-9_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2293809538
@@ Property / OpenAlex ID: W2293809538 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2947164