The Complexity of Reversal-Bounded Model-Checking (Q3172883): Difference between revisions

@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TaPAS
@@ Property / describes a project that uses: TaPAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LIRA
@@ Property / describes a project that uses: LIRA / 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.1007/978-3-642-24364-6_6
+Normal rank
@@ Property / OpenAlex ID @@
+W80793323
@@ Property / OpenAlex ID: W80793323 / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Reversal-Bounded Model-Checking
@@ Property / cites work: The Complexity of Reversal-Bounded Model-Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on Positive Integral Solutions of Linear Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Q4474213
@@ Property / cites work: Q4474213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Counter Machines Revisited
@@ Property / cites work: Reversal-Bounded Counter Machines Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines
+Normal rank
@@ Property / cites work @@
+Q4536602
@@ Property / cites work: Q4536602 / rank @@
+Normal rank
@@ Property / cites work @@
+Counter machines and verification problems.
@@ Property / cites work: Counter machines and verification problems. / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+TaPAS: The Talence Presburger Arithmetic Suite
@@ Property / cites work: TaPAS: The Talence Presburger Arithmetic Suite / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+NEXP TIME-complete description logics with concrete domains
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Verification Decidability of Presburger Array Programs
+Normal rank
@@ Property / cites work @@
+Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank