Experience with Formal Methods techniques at the Jet Propulsion Laboratory from a quality assurance perspectiveRecent experience with Formal Methods (FM) in the Software Quality Assurance Section at the Jet Propulsion Lab is presented. An integrated Formal Method process is presented to show how related existing requirements analysis and FM techniques complement one another. Example application of FM techniques such as formal specifications and specification animators are presented. The authors suggest that the quality assurance organization is a natural home for the Formal Methods specialist, whose expertise can then be used to best advantage across a range of projects.
Document ID
19940034787
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Kelly, John C. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Covington, Rick (JPL Pasadena, CA, United States)
Date Acquired
August 16, 2013
Publication Date
January 1, 1993
Publication Information
Publication: In: AIAA Computing in Aerospace Conference, 9th, San Diego, CA, Oct. 19-21, 1993, Technical Papers. Pt. 1 (A94-11401 01-62)
Publisher: American Institute of Aeronautics and Astronautics