Actor-based model checking for software-defined networks (Q1996852): Difference between revisions

@@ Property / describes a project that uses @@
+ABS
@@ Property / describes a project that uses: ABS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Syco
@@ Property / describes a project that uses: Syco / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Anteater
@@ Property / describes a project that uses: Anteater / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NetKAT
@@ Property / describes a project that uses: NetKAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriCon
@@ Property / describes a project that uses: VeriCon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriFlow
@@ Property / describes a project that uses: VeriFlow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kuai
@@ Property / describes a project that uses: Kuai / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3092046399
@@ Property / OpenAlex ID: W3092046399 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10022
@@ Property / arXiv ID: 2001.10022 / rank @@
+Normal rank
@@ Property / cites work @@
+SDN-actors: modeling and verification of SDN programs
+Normal rank
@@ Property / cites work @@
+Constrained dynamic partial order reduction
@@ Property / cites work: Constrained dynamic partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Guide to the Future
@@ Property / cites work: A Complete Guide to the Future / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Defining conditional independence using collapses
@@ Property / cites work: Defining conditional independence using collapses / rank @@
+Normal rank
@@ Property / cites work @@
+Peephole Partial Order Reduction
@@ Property / cites work: Peephole Partial Order Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
+Normal rank
@@ Property / cites work @@
+Context-sensitive dynamic partial order reduction
@@ Property / cites work: Context-sensitive dynamic partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Decision Procedure for NetKAT
@@ Property / cites work: A Coalgebraic Decision Procedure for NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Composite Actor Systems
+Normal rank
@@ Property / cites work @@
+Modeling and efficient verification of wireless ad hoc networks
+Normal rank
@@ Property / cites work @@
+Tractable Refinement Checking for Concurrent Objects
+Normal rank
@@ Property / cites work @@
+A program logic for concurrent objects under fair scheduling
+Normal rank