Model sketching by abstraction refinement for lifted model checking.

Aleksandar S. Dimovski

Published in: SAC (2022)

Keyphrases

model checking
temporal properties
temporal logic
model checker
finite state machines
bounded model checking
multi agent
knowledge based systems
modal logic
verification method
concurrent systems
process algebra
partial order reduction