Cheap CTL Compassion in NuSMV.

Daniel Hausmann Tadeusz Litak Christoph Rauch Matthias Zinner

Published in: VMCAI (2020)

Keyphrases

model checking
symbolic model checking
model checker
temporal logic
computation tree logic
temporal properties
formal verification
finite state
formal specification
bounded model checking
formal methods
partial observability
modal logic
symbolic representation
artificial intelligence
linear temporal logic