Login / Signup
Efficient Runtime Verification of First-Order Temporal Properties.
Klaus Havelund
Doron 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