Using Spin model checking for flight software verification (2002)

by P r gluck, g J holzmann
Venue:in Proceedings of the 2002 Aerospace Conference (big