Talks

PyNuSMV: NuSMV as a Python Library

Title: PyNuSMV: NuSMV as a Python Library
Speaker(s): Simon Busard
Context: 5th NASA Formal Methods Symposium, May 14-16, 2013, NASA Ames Research Center, Moffett Field, CA, USA
File(s): NFM2013-poster.pdf

Related Publication(s):

PyNuSMV: NuSMV as a Python Library. Simon Busard, Charles Pecheur. Nasa Formal Methods 2013.

Tags

Tags: Symbolic Model Checking, Tools, Tool PyNuSMV

Find It