How testing helps to diagnose proof failures (Q1624590): Difference between revisions

@@ Property / describes a project that uses @@
+PathCrawler
@@ Property / describes a project that uses: PathCrawler / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-018-0456-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2808614825
@@ Property / OpenAlex ID: W2808614825 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Collaborative Verification and Testing with Explicit Assumptions
+Normal rank
@@ Property / cites work @@
+Finding Counter Examples in Induction Proofs
@@ Property / cites work: Finding Counter Examples in Induction Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-Guided Synthesis of Observation Predicates
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Unit Tests from Formal Proofs
@@ Property / cites work: Generating Unit Tests from Formal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Could We Have Chosen a Better Loop Invariant or Method Contract?
+Normal rank
@@ Property / cites work @@
+Compositional may-must program analysis
@@ Property / cites work: Compositional may-must program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient generation of restricted growth words
@@ Property / cites work: Efficient generation of restricted growth words / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided focus
@@ Property / cites work: Counterexample-guided focus / rank @@
+Normal rank