A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Q5044397): 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 @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cubicle
@@ Property / describes a project that uses: Cubicle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.3233/fi-222134
@@ Property / full work available at URL: https://doi.org/10.3233/fi-222134 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4287205805
@@ Property / OpenAlex ID: W4287205805 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+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 @@
+Q4037376
@@ Property / cites work: Q4037376 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Q4791837
@@ Property / cites work: Q4791837 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-state invariant checking with IC3 and predicate abstraction
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417950
@@ Property / cites work: Q4417950 / rank @@
+Normal rank
@@ Property / cites work @@
+Stubborn versus structural reductions for Petri nets
+Normal rank
@@ Property / cites work @@
+Symbolic and Structural Model-Checking
@@ Property / cites work: Symbolic and Structural Model-Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Directed reachability for infinite-state systems
@@ Property / cites work: Directed reachability for infinite-state systems / rank @@
+Normal rank