Login / Signup
Temporal prophecy for proving temporal properties of infinite-state systems.
Oded Padon
Jochen Hoenicke
Kenneth L. McMillan
Andreas Podelski
Mooly Sagiv
Sharon Shoham
Published in:
Formal Methods Syst. Des. (2021)
Keyphrases
</>
temporal properties
model checking
formal methods
temporal constraints
temporal data
neural network
logic programming
random walk
spatial and temporal
temporal information
possibility theory