Program Model Checking Using Design-for-Verification: …
1Program Model Checking Using design -for- verification : NASA flight software case Study1, 2,3 1 1-4244-0525-4/07/$ 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 this research, was funded by the NASA Engineering for Complex Systems Program .
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 …
Download Program Model Checking Using Design-for-Verification: …
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
Related search queries
Model checking, Principles, Model check-ing, Model, Principles of Model Checking, Of model, Checking, Answers to Selected Exercises, Model Checking: Principles and Applications, Model Checking: Principles and Applications to, Chapter 4: Regular Properties Principles of Model Checking, Model Checking: A Tutorial Overview, Of model checking