PyNuSMV: NuSMV as a Python Library.

Simon Busard Charles Pecheur

Published in: NASA Formal Methods (2013)

Keyphrases

symbolic model checking
model checking
model checker
open source
programming language
temporal logic
formal verification
development tools
description language
formal specification
formal methods
partial observability