Login / Signup
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.
Jannik Dunkelau
Leo Baldus
Published in:
OVERLAY@GandALF (2021)
Keyphrases
</>
model checking
temporal logic
learning algorithm
reinforcement learning
reachability analysis
finite state machines
verification method
computation tree logic
finite state
formal verification
automated verification