Faster Statistical Model Checking by Means of Abstraction and Learning.

Ayoub Nouri Balaji Raman Marius Bozga Axel Legay Saddek Bensalem

Published in: RV (2014)

Keyphrases

model checking
temporal logic
bounded model checking
learning algorithm
finite state
symbolic model checking
finite state machines
formal verification
reinforcement learning
formal specification
formal methods
partially observable
process algebra
automated verification