Using spin model checking for flight software verification (0)

by P Gluck, G Holzmann
Venue:in Aerospace Conference Proceedings, 2002. IEEE