Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version).

Aleksandar S. Dimovski

Published in: CoRR (2021)

Keyphrases

model checking
temporal logic
temporal properties
model checker
finite state machines
formal verification
verification method
artificial intelligence
knowledge base
graphical models
bounded model checking
automated verification