Search results with tag "Model checking using design for verification"

Program Model Checking Using Design-for-Verification: …

1 Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study1, 2,3 1 1-4244-0525-4/07/$20.00 ©2007 IEEE 2 IEEEAC paper #1264, Version 1, Updated December 8, 2006 3 The research reported in this paper was funded by the NASA Office of Safety and Mission Assurance's Software Assurance Research Program. The development of the Propel toolset, which was used in …

  Using, Design, Model, Verification, Software, Case, Flight, Checking, Ansas, Model checking using design for verification, Nasa flight software case