Property Directed Reachability for Proving Absence of Concurrent Modification Errors (Q2961566): Difference between revisions

@@ Property / describes a project that uses @@
+Spacer
@@ Property / describes a project that uses: Spacer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Soot
@@ Property / describes a project that uses: Soot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ivy
@@ Property / describes a project that uses: Ivy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MONA
@@ Property / describes a project that uses: MONA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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-52234-0_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2571471892
@@ Property / OpenAlex ID: W2571471892 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Generalized Property Directed Reachability
@@ Property / cites work: Generalized Property Directed Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Modular reasoning about heap paths via effectively propositional formulas
+Normal rank
@@ Property / cites work @@
+Property-directed inference of universal invariants or proving their absence
+Normal rank
@@ Property / cites work @@
+SMT-based model checking for recursive programs
@@ Property / cites work: SMT-based model checking for recursive programs / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding effectively propositional logic using DPLL and substitution sets
+Normal rank