PyNuSMV: NuSMV as a Python Library

TitlePyNuSMV: NuSMV as a Python Library
Publication TypeConference Paper
Year of Publication2013
AuthorsBusard, S, Pecheur C
EditorG. Brat, N. Rungta, Venet A
Conference NameNasa Formal Methods 2013
PublisherSpringer-Verlag
URLhttp://lvl.info.ucl.ac.be/Publications/PyNuSMVNuSMVAsAPythonLibrary