Login / Signup

Efficient Runtime Verification of First-Order Temporal Properties.

Klaus HavelundDoron Peled
Published in: SPIN (2018)
Keyphrases
  • temporal properties
  • model checking
  • formal methods
  • neural network
  • higher order
  • first order logic
  • machine learning
  • decision making
  • high level
  • pattern recognition