Improved model checking of hierarchical systems (Q418123): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 91A80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 91A05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6038287
@@ Property / zbMATH DE Number: 6038287 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hierarchical systems
@@ Property / zbMATH Keywords: hierarchical systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+branching-time temporal logics
@@ Property / zbMATH Keywords: branching-time temporal logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+two-player games
@@ Property / zbMATH Keywords: two-player games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parity games
@@ Property / zbMATH Keywords: parity games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstraction-refinement
@@ Property / zbMATH Keywords: abstraction-refinement / 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.1016/j.ic.2011.10.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2017076220
@@ Property / OpenAlex ID: W2017076220 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Languages of Nested Trees
@@ Property / cites work: Languages of Nested Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551151
@@ Property / cites work: Q4551151 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Complexity results on branching-time pushdown model checking
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+On the power of bounded concurrency I
@@ Property / cites work: On the power of bounded concurrency I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804892
@@ Property / cites work: Q4804892 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Verification of scope-dependent hierarchical state machines
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Program Complexity in Hierarchical Module Checking
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of equivalence problems for concurrent systems of finite agents
+Normal rank
@@ Property / cites work @@
+A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
+Normal rank
@@ Property / cites work @@
+Q4472439
@@ Property / cites work: Q4472439 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501666
@@ Property / cites work: Q4501666 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418123