Parameterized verification of coverability in infinite state broadcast networks (Q2029598): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2020.104592
+Normal rank
@@ Property / OpenAlex ID @@
+W3034544431
@@ Property / OpenAlex ID: W3034544431 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk).
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Networks of Register Protocols under Stochastic Schedulers
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Ad Hoc Networks
@@ Property / cites work: Parameterized Verification of Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Broadcast Networks of Register Automata
+Normal rank
@@ Property / cites work @@
+On the Verification of Timed Ad Hoc Networks
@@ Property / cites work: On the Verification of Timed Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957507
@@ Property / cites work: Q2957507 / rank @@
+Normal rank
@@ Property / cites work @@
+Playing with Probabilities in Reconfigurable Broadcast Networks
+Normal rank
@@ Property / cites work @@
+Q2963938
@@ Property / cites work: Q2963938 / rank @@
+Normal rank
@@ Property / cites work @@
+Subgraphs and well‐quasi‐ordering
@@ Property / cites work: Subgraphs and well‐quasi‐ordering / rank @@
+Normal rank
@@ Property / cites work @@
+On Moore Graphs with Diameters 2 and 3
@@ Property / cites work: On Moore Graphs with Diameters 2 and 3 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks
+Normal rank
@@ Property / cites work @@
+Parameterized verification of synchronization in constrained reconfigurable broadcast networks
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q5136306
@@ Property / cites work: Q5136306 / rank @@
+Normal rank