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