Verification of Gap-Order Constraint Abstractions of Counter Systems (Q2891403): Difference between revisions

@@ Property / cites work @@
+Approximated parameterized verification of infinite-state processes with global conditions
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Size-Change Termination, Monotonicity Constraints and Ranking Functions
+Normal rank
@@ Property / cites work @@
+Programs with Lists Are Counter Automata
@@ Property / cites work: Programs with Lists Are Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Iterating Octagons
@@ Property / cites work: Iterating Octagons / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints
+Normal rank
@@ Property / cites work @@
+Verification of gap-order constraint abstractions of counter systems
+Normal rank
@@ Property / cites work @@
+Q2753678
@@ Property / cites work: Q2753678 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to constraint LTL
@@ Property / cites work: An automata-theoretic approach to constraint LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Model-Checker for Counter Systems
@@ Property / cites work: Towards a Model-Checker for Counter Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of qualitative \(\mathbb Z\) constraints
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415251
@@ Property / cites work: Q4415251 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+A closed-form evaluation for Datalog queries with integer (gap)-order constraints
+Normal rank