Login / Signup
AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning.
Kaiqiang Jiang
Ping Huang
Hui Zan
Dehui Du
Published in:
Int. J. Softw. Informatics (2016)
Keyphrases
</>
model checking
learning algorithm
temporal logic
symbolic model checking
automated verification
artificial intelligence
reinforcement learning
formal specification
finite state
formal verification
model checker
bounded model checking
finite state machines
asynchronous circuits
computation tree logic