A framework for compositional nonblocking verification of extended finite-state machines (Q262429): Difference between revisions

@@ Property / author @@
+Martin Fabian
@@ Property / author: Martin Fabian / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A13
@@ Property / Mathematics Subject Classification ID: 93A13 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C90
@@ Property / Mathematics Subject Classification ID: 05C90 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6560833
@@ Property / zbMATH DE Number: 6560833 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+extended finite-state machines
@@ Property / zbMATH Keywords: extended finite-state machines / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nonblocking
@@ Property / zbMATH Keywords: nonblocking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositional verification
@@ Property / zbMATH Keywords: compositional verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+supervisory control theory
@@ Property / zbMATH Keywords: supervisory control theory / rank @@
+Normal rank

Revision as of 14:43, 27 June 2023