NuSeen: A Tool Framework for the NuSMV Model Checker.

Paolo Arcaini Angelo Gargantini Elvinia Riccobene

Published in: ICST (2017)

Keyphrases

model checker
model checking
symbolic model checking
formal verification
formal methods
temporal logic
description language
set theory
learning algorithm
software architecture
formal specification
dynamic programming
specification language