NASA STD 2202-93
Software Formal Inspections Standard
Revision Level: Initial
Effective Date: 4/93
Revalidated: 3/29/01
Scheduled Review Date: 3/29/06
Note: Clicking on this link will open a new browser window

Related Documents:

NASA-GB-001-94 NASA Software Measurement Guidebook .
NASA-GB-001-95 NASA Software Process Improvement Guidebook.
NASA-GB-001-96 NASA Software Management Guidebook .
NASA-GB-001-97 Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems, Volume II: A Practioner's Companion.
NASA/TP-98-208193 Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion.
NASA-GB-8719.13 NASA Software Safety Guidebook
NASA-GB-A201 Software Assurance Guidebook.
NASA-GB-A301 Software Quality Assurance Audits Guidebook.

Compliance Verification Brochure: To be developed

 Checklists/Guidelines:  To be developed  
Point of contact for additional information: Pat Schuler / NASA Langley Research Center 
 This page was updated on May 3, 2005