OpenSMT2: An SMT Solver for Multi-core and Cloud Computing (Q2818042): Difference between revisions

@@ Property / describes a project that uses @@
+eVolCheck
@@ Property / describes a project that uses: eVolCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OpenSMT2
@@ Property / describes a project that uses: OpenSMT2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FunFrog
@@ Property / describes a project that uses: FunFrog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OpenSMT
@@ Property / describes a project that uses: OpenSMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PeRIPLO
@@ Property / describes a project that uses: PeRIPLO / 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-40970-2_35
+Normal rank
@@ Property / OpenAlex ID @@
+W2488157396
@@ Property / OpenAlex ID: W2488157396 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / rank @@
+Normal rank
@@ Property / cites work @@
+eVolCheck: Incremental Upgrade Checker for C
@@ Property / cites work: eVolCheck: Incremental Upgrade Checker for C / rank @@
+Normal rank
@@ Property / cites work @@
+Search-Space Partitioning for Parallelizing SMT Solvers
+Normal rank
@@ Property / cites work @@
+PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
+Normal rank