Computing parameterized invariants of parameterized Petri nets (Q2117165): Difference between revisions

@@ Property / describes a project that uses @@
+MONA
@@ Property / describes a project that uses: MONA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3173420582
@@ Property / OpenAlex ID: W3173420582 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10280
@@ Property / arXiv ID: 2103.10280 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Parameterized Systems
@@ Property / cites work: Model Checking Parameterized Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded-Thread Program Verification using Thread-State Equations
+Normal rank
@@ Property / cites work @@
+Tight Cutoffs for Guarded Protocols with Fairness
@@ Property / cites work: Tight Cutoffs for Guarded Protocols with Fairness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518895
@@ Property / cites work: Q4518895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737006
@@ Property / cites work: Q4737006 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Checking qualitative liveness properties of replicated systems with stochastic scheduling
+Normal rank
@@ Property / cites work @@
+Approaching the coverability problem continuously
@@ Property / cites work: Approaching the coverability problem continuously / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Invariants for the Verification of Systems with Parameterized Architectures
+Normal rank
@@ Property / cites work @@
+Checking deadlock-freedom of parametric component-based systems
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Q2754073
@@ Property / cites work: Q2754073 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723423
@@ Property / cites work: Q2723423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+An SMT-Based Approach to Coverability Analysis
@@ Property / cites work: An SMT-Based Approach to Coverability Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computing parameterized invariants of parameterized Petri nets
+Normal rank
@@ Property / cites work @@
+Minimal coverability tree construction made complete and efficient
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223068
@@ Property / cites work: Q4223068 / rank @@
+Normal rank
@@ Property / cites work @@
+Occam's razor applied to the Petri net coverability problem
+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 @@
+Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Understanding Petri Nets
@@ Property / cites work: Understanding Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+On the computation of the minimal coverability set of Petri nets
+Normal rank
@@ Property / cites work @@
+Applying CEGAR to the Petri Net State Equation
@@ Property / cites work: Applying CEGAR to the Petri Net State Equation / rank @@
+Normal rank