Combining Induction, Deduction, and Structure for Verification and Synthesis

@article{Seshia2012CombiningID,
  title={Combining Induction, Deduction, and Structure for Verification and Synthesis},
  author={Sanjit A. Seshia},
  journal={Proceedings of the IEEE},
  year={2012},
  volume={103},
  pages={2036-2051}
}
Even with impressive advances in formal verification, certain major challenges remain. Chief amongst these are environment modeling, incompleteness in specifications, and the complexity of underlying decision problems. In this position paper, we contend that these challenges can be tackled by integrating traditional, deductive methods with inductive inference (learning from examples) using hypotheses about system structure. We present sciduction, a formalization of such an integration, show… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
11 Extracted Citations
6 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 11 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-6 of 6 references

Machine Learning

  • T. M. Mitchell
  • McGraw-Hill
  • 1997
Highly Influential
11 Excerpts

Similar Papers

Loading similar papers…