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

Revision as of 21:04, 29 June 2023