Inductive benchmarks for automated reasoning (Q2128807): Difference between revisions

@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+TIP: Tons of Inductive Problems
@@ Property / cites work: TIP: Tons of Inductive Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition with structural induction
@@ Property / cites work: Superposition with structural induction / rank @@
+Normal rank
@@ Property / cites work @@
+Induction with generalization in superposition reasoning
+Normal rank
@@ Property / cites work @@
+Integer induction in saturation
@@ Property / cites work: Integer induction in saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+The Imandra Automated Reasoning System (System Description)
+Normal rank
@@ Property / cites work @@
+Induction in saturation-based proof search
@@ Property / cites work: Induction in saturation-based proof search / rank @@
+Normal rank
@@ Property / cites work @@
+Induction for SMT Solvers
@@ Property / cites work: Induction for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Zeno: An Automated Prover for Properties of Recursive Data Structures
+Normal rank