Interprocedural Reachability for Flat Integer Programs (Q2947875): Difference between revisions

@@ Property / cites work @@
+Push-Down Automata with Gap-Order Constraints
@@ Property / cites work: Push-Down Automata with Gap-Order Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Q2911620
@@ Property / cites work: Q2911620 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Acceleration of Ultimately Periodic Relations
+Normal rank
@@ Property / cites work @@
+Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops
+Normal rank
@@ Property / cites work @@
+Verification of gap-order constraint abstractions of counter systems
+Normal rank
@@ Property / cites work @@
+Taming Past LTL and Flat Counter Systems
@@ Property / cites work: Taming Past LTL and Flat Counter Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of pattern-based verification for multithreaded programs
+Normal rank
@@ Property / cites work @@
+Underapproximation of Procedure Summaries for Integer Programs
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Checking for Programs with Procedure Calls
+Normal rank
@@ Property / cites work @@
+Accelerating Interpolants
@@ Property / cites work: Accelerating Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Nonelementary Complexities for Branching VASS, MELL, and Extensions
+Normal rank
@@ Property / cites work @@
+A family of languages having only finite-index grammars
+Normal rank
@@ Property / cites work @@
+Control sets on grammars using depth-first derivations
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+A closed-form evaluation for Datalog queries with integer (gap)-order constraints
+Normal rank