SDN-actors: modeling and verification of SDN programs (Q2024371): Difference between revisions

@@ Property / cites work @@
+Context-sensitive dynamic partial order reduction
@@ Property / cites work: Context-sensitive dynamic partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+SDN-actors: modeling and verification of SDN programs
+Normal rank
@@ Property / cites work @@
+Tractable Refinement Checking for Concurrent Objects
+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 @@
+Statistical Model Checking for Composite Actor Systems
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+A program logic for concurrent objects under fair scheduling
+Normal rank