Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Date

July, 2021

Authors

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

Related projects

• Verified Systems Software

Type

Article

Journal

Formal Methods Syst. Des. (FMSD)