Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems (bibtex)

by Oded Padon and Jochen Hoenicke and Kenneth L. McMillan and Andreas Podelski and Mooly Sagiv and Sharon Shoham

Reference:

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems (Oded Padon and Jochen Hoenicke and Kenneth L. McMillan and Andreas Podelski and Mooly Sagiv and Sharon Shoham), In 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 (Nikolaj Bjørner, Arie Gurfinkel, eds.), IEEE, 2018.

Bibtex Entry:

@inproceedings{DBLP:conf/fmcad/PadonHMPSS18,
  author    = {Oded Padon and
               Jochen Hoenicke and
               Kenneth L. McMillan and
               Andreas Podelski and
               Mooly Sagiv and
               Sharon Shoham},
  editor    = {Nikolaj Bj{\o}rner and
               Arie Gurfinkel},
  title     = {Temporal Prophecy for Proving Temporal Properties of Infinite-State
               Systems},
  booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
               TX, USA, October 30 - November 2, 2018},
  pages     = {1--11},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {FMCAD18.pdf},
  doi       = {10.23919/FMCAD.2018.8603008},
  timestamp = {Fri, 11 Jan 2019 14:11:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/PadonHMPSS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}