@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@ARTICLE{seshia-pieee15, 
  author    = {Sanjit A. Seshia},
  title     = {Combining Induction, Deduction, and Structure for Verification and
               Synthesis},
  journal   = {Proceedings of the {IEEE}},
  volume    = {103},
  number    = {11},
  pages     = {2036--2051},
  year      = {2015},
    Abstract = {Even with impressive advances in formal methods, 
certain major challenges remain. Chief amongst these are 
environment modeling, incompleteness in specifications, and the 
hardness of underlying decision problems. 
In this paper, we characterize two trends that show great 
promise in meeting these challenges. The first trend is to 
perform verification by reduction to synthesis. The second is 
to solve the resulting synthesis problem by integrating traditional, 
deductive methods with inductive inference (learning 
from examples) using hypotheses about system structure. We 
present a formalization of such an integration, show how it can 
tackle hard problems in verification and synthesis, and outline 
directions for future work.},
}