On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cubicle
@@ Property / describes a project that uses: Cubicle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3163218045
@@ Property / OpenAlex ID: W3163218045 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09850
@@ Property / arXiv ID: 2104.09850 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri Net Reductions for Counting Markings
@@ Property / cites work: Petri Net Reductions for Counting Markings / rank @@
+Normal rank
@@ Property / cites work @@
+Stubborn versus structural reductions for Petri nets
+Normal rank
@@ Property / cites work @@
+Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding IC3
@@ Property / cites work: Understanding IC3 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-state invariant checking with IC3 and predicate abstraction
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+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 @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037376
@@ Property / cites work: Q4037376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247289
@@ Property / cites work: Q4247289 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Reductions Revisited
@@ Property / cites work: Structural Reductions Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Set Decision Diagrams and Regular Models
+Normal rank