Taming past LTL and flat counter systems (Q2346416): Difference between revisions

@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on Positive Integral Solutions of Linear Diophantine Equations
+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 @@
+Flat Parametric Counter Automata
@@ Property / cites work: Flat Parametric Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753678
@@ Property / cites work: Q2753678 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+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 @@
+On the Complexity of Verifying Regular Properties on Flat Counter Systems,
+Normal rank
@@ Property / cites work @@
+Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Model-checking CTL* over flat Presburger counter systems
+Normal rank
@@ Property / cites work @@
+Temporal Logic with Capacity Constraints
@@ Property / cites work: Temporal Logic with Capacity Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
+Normal rank
@@ Property / cites work @@
+Q4415251
@@ Property / cites work: Q4415251 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Model-Checking Programs with Lists
@@ Property / cites work: Towards Model-Checking Programs with Lists / rank @@
+Normal rank
@@ Property / cites work @@
+Towards SMT Model Checking of Array-Based Systems
@@ Property / cites work: Towards SMT Model Checking of Array-Based Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940845
@@ Property / cites work: Q3940845 / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Vector Addition Systems with States
@@ Property / cites work: Integer Vector Addition Systems with States / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Succinct and Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Weak Kripke Structures and LTL
@@ Property / cites work: Weak Kripke Structures and LTL / rank @@
+Normal rank
@@ Property / cites work @@
+The stuttering principle revisited
@@ Property / cites work: The stuttering principle revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Specification in CTL + past for verification in CTL.
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q4539597
@@ Property / cites work: Q4539597 / rank @@
+Normal rank
@@ Property / cites work @@
+Log Space Recognition and Translation of Parenthesis Languages
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Stutter-invariant temporal properties are expressible without the next-time operator
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Alternating automata: Unifying truth and validity checking for temporal logics
+Normal rank