From NuSMV to SPIN: Experiences with model checking flight guidance systems
From MaRDI portal
Publication:883136
DOI10.1007/s10703-006-0027-9zbMath1111.68502MaRDI QIDQ883136
Publication date: 31 May 2007
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-006-0027-9
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work