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}
}