Transcription of Program Model Checking Using Design-for-Verification: …
{{id}} {{{paragraph}}}
Example: confidence
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/$ 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 …
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
Related search queries
Principles of Model Checking, Model checking, Chapter 4: Regular Properties Principles of Model Checking, Model, Checking, Model Checking: Principles and Applications, Model Checking: Principles and Applications to, Model Checking: A Tutorial Overview, Of model checking, Principles, Model check-ing, Of model, Answers to Selected Exercises