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):


Speakers
Simon Busard
Tags
, ,