The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4 (Q540690): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5903837
@@ Property / zbMATH DE Number: 5903837 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+theorem proving
@@ Property / zbMATH Keywords: theorem proving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated reasoning
@@ Property / zbMATH Keywords: automated reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+higher-order logic
@@ Property / zbMATH Keywords: higher-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combining theorem provers
@@ Property / zbMATH Keywords: combining theorem provers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear temporal logic
@@ Property / zbMATH Keywords: linear temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank

Revision as of 11:09, 1 July 2023