be5c8080_r_sale___Intelligent_Aerospace__Title
[Patent] US 7,979,848 [GSFC Case Number] GSC-15080-1 [Description] This approach describes where formal specifications are pattern-matched from scenarios, then analyzed, and any flaws in formal specifications are corrected. [Title] 
Systems, Methods, and Apparatus for Pattern Matching in Procedure Development and Verification
NASA Auction: satellite software technology for sale - Intelligent Aerospace
Title