JPL Technical Report Server

Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion

Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion

Kelly, John C.
URI: http://hdl.handle.net/2014/22415
Date: 1997-07-14

Abstract:

This volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace and avionics software systems.

Show full item record

Items in TRS are protected by copyright, but are furnished with U.S. government purpose use rights.

Files in this item

Thumbnail
Name: 97-0902.pdf
Size: 7.706Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account