Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Reducing liveness to safety in first-order logic
POPL, 2018.
@article{POPL-2018-PadonHLPSS,
author = "Oded Padon and Jochen Hoenicke and Giuliano Losa and Andreas Podelski and Mooly Sagiv and Sharon Shoham",
doi = "10.1145/3158114",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "33",
publisher = "{ACM}",
title = "{Reducing liveness to safety in first-order logic}",
volume = 2,
year = 2018,
}
Tags: