Symbolic predictive analysis for concurrent programs (Q432146): Difference between revisions

@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eraser
@@ Property / describes a project that uses: Eraser / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Atomizer
@@ Property / describes a project that uses: Atomizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Velodrome
@@ Property / describes a project that uses: Velodrome / 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 @@
+Checkfence
@@ Property / describes a project that uses: Checkfence / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CIL
@@ Property / describes a project that uses: CIL / 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/s00165-011-0179-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2033651910
@@ Property / OpenAlex ID: W2033651910 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Parametric and Sliced Causality
@@ Property / cites work: Parametric and Sliced Causality / rank @@
+Normal rank
@@ Property / cites work @@
+Atomizer: A dynamic atomicity checker for multithreaded programs
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Causal Atomicity
@@ Property / cites work: Causal Atomicity / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring Atomicity in Concurrent Programs
@@ Property / cites work: Monitoring Atomicity in Concurrent Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Predicting Atomicity Violations
@@ Property / cites work: The Complexity of Predicting Atomicity Violations / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-analysis for Atomicity Violations under Nested Locking
+Normal rank
@@ Property / cites work @@
+Q2845505
@@ Property / cites work: Q2845505 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Back to the future
@@ Property / cites work: Back to the future / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
+Normal rank
@@ Property / cites work @@
+Q4738390
@@ Property / cites work: Q4738390 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
+Normal rank
@@ Property / cites work @@
+Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
+Normal rank
@@ Property / cites work @@
+Symbolic predictive analysis for concurrent programs
+Normal rank
@@ Property / cites work @@
+Trace-Based Symbolic Analysis for Atomicity Violations
+Normal rank
@@ Property / cites work @@
+Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
+Normal rank
@@ Property / cites work @@
+Peephole Partial Order Reduction
@@ Property / cites work: Peephole Partial Order Reduction / rank @@
+Normal rank