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

@@ 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
@@ Property / Wikidata QID @@
+Q129692997
@@ Property / Wikidata QID: Q129692997 / rank @@
+Normal rank