PyNuSMV: NuSMV as a Python Library

Busard, Simon;Pecheur, Charles
(2013) 5th NASA Formal Methods Symposium (NFM 2013) — Location: NASA Ames Research Center, Moffett Field, CA, USA (14.May.2013)

Files

NFM2013-Poster.pdf
  • Restricted Access
  • Adobe PDF
  • 172.26 KB
Request a copy

Details

Authors
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Busard, S., & Pecheur, C. (2013). PyNuSMV: NuSMV as a Python Library. 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, Moffett Field, CA, USA. https://hdl.handle.net/2078.5/204444