A dynamic logic for deductive verification of multi-threaded programs (Q470007): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6368386
@@ Property / zbMATH DE Number: 6368386 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multi-threading
@@ Property / zbMATH Keywords: multi-threading / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deductive verification
@@ Property / zbMATH Keywords: deductive verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symbolic execution
@@ Property / zbMATH Keywords: symbolic execution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symmetry reduction
@@ Property / zbMATH Keywords: symmetry reduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+input/ output reasoning
@@ Property / zbMATH Keywords: input/ output reasoning / rank @@
+Normal rank

Revision as of 16:22, 30 June 2023