Verification of qualitative \(\mathbb Z\) constraints (Q959820): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.07.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2059905982
@@ Property / OpenAlex ID: W2059905982 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+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 @@
+Q4737132
@@ Property / cites work: Q4737132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039803
@@ Property / cites work: Q4039803 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Untiming timed languages
@@ Property / cites work: Untiming timed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints
+Normal rank
@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+Flat Parametric Counter Automata
@@ Property / cites work: Flat Parametric Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On infinite transition graphs having a decidable monadic theory
+Normal rank
@@ Property / cites work @@
+Q2753678
@@ Property / cites work: Q2753678 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding properties of integral relational automata
+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 @@
+LTL over integer periodicity constraints
@@ Property / cites work: LTL over integer periodicity constraints / 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 @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND  ITS APPLICATIONS
+Normal rank
@@ Property / cites work @@
+Presburger liveness verification of discrete timed automata.
+Normal rank
@@ Property / cites work @@
+Q4415251
@@ Property / cites work: Q4415251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501546
@@ Property / cites work: Q4501546 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715695
@@ Property / cites work: Q5715695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q4474093
@@ Property / cites work: Q4474093 / rank @@
+Normal rank
@@ Property / cites work @@
+DP lower bounds for equivalence-checking and model-checking of one-counter automata
+Normal rank
@@ Property / cites work @@
+Q4778773
@@ Property / cites work: Q4778773 / rank @@
+Normal rank
@@ Property / cites work @@
+NEXP TIME-complete description logics with concrete domains
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of ends, pushdown automata, and second-order logic
+Normal rank
@@ Property / cites work @@
+Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems
+Normal rank
@@ Property / cites work @@
+Introduction to constraint databases
@@ Property / cites work: Introduction to constraint databases / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank