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.