Crossmark

Temporal prophecy for proving temporal properties of infinite-state systems

Published Online: 2021-07-23

Published Print: 2021-08

Authors

Padon, Oded

Hoenicke, Jochen

McMillan, Kenneth L.

Podelski, Andreas

Sagiv, Mooly

Shoham, Sharon
Funding

Funding for this research was provided by:

Albert-Ludwigs-Universität Freiburg im Breisgau
License Information

Text and Data Mining valid from 2021-07-23

Version of Record valid from 2021-07-23
More Information

Article History

Accepted: 30 April 2021

First Online: 23 July 2021

Document is current