Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047): Difference between revisions

@@ 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-019-00483-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2945420580
@@ Property / OpenAlex ID: W2945420580 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Tighter reachability criteria for deadlock-freedom analysis
+Normal rank
@@ Property / cites work @@
+The Automatic Detection of Token Structures and Invariants Using SAT Checking
+Normal rank
@@ Property / cites work @@
+Checking Static Properties Using Conservative SAT Approximations for Reachability
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock analysis in networks of communicating processes
+Normal rank
@@ Property / cites work @@
+Using integer programming to verify general safety and liveness properties
+Normal rank
@@ Property / cites work @@
+Concurrent software verification with states, events, and deadlocks
+Normal rank
@@ Property / cites work @@
+Q5633643
@@ Property / cites work: Q5633643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Using partial orders for the efficient verification of deadlock freedom and safety properties
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Reachability Analysis in Distributed Systems
@@ Property / cites work: Lazy Reachability Analysis in Distributed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Component-Based Systems on the Basis of Architectural Constraints
+Normal rank
@@ Property / cites work @@
+Rigorous development of component-based systems using component metadata and patterns
+Normal rank
@@ Property / cites work @@
+Local Analysis of Determinism for CSP
@@ Property / cites work: Local Analysis of Determinism for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+A Static Analysis Framework for Livelock Freedom in CSP
+Normal rank
@@ Property / cites work @@
+SAT-solving in CSP trace refinement
@@ Property / cites work: SAT-solving in CSP trace refinement / rank @@
+Normal rank
@@ Property / cites work @@
+The pursuit of deadlock freedom
@@ Property / cites work: The pursuit of deadlock freedom / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Introduction to Distributed Algorithms
@@ Property / cites work: Introduction to Distributed Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of concurrent software systems via heuristic-guided SAT solving
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127871360
@@ Property / Wikidata QID: Q127871360 / rank @@
+Normal rank