Login / Signup

Temporal prophecy for proving temporal properties of infinite-state systems.

Oded PadonJochen HoenickeKenneth L. McMillanAndreas PodelskiMooly SagivSharon 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