Cover Image

Formal verification of AI software /

Show other versions (1)
Bibliographic Details
Main Author: Rushby, John, 1949-
Corporate Author: Langley Research Center
Other Authors: Whitehurst, R. Alan
Format: Government Document Book
Language:English
Published: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Series:NASA contractor report ; NASA CR-181827.
Subjects:
Artificial intelligence.
Computer systems performance.
Expert systems.
Logic programming.
Theorem proving.
Online Access:https://purl.fdlp.gov/GPO/LPS113685
Description
Item Description:Title from title screen (viewed June 11, 2009).
Electronic resource.
Physical Description:1 volume
Format:Mode of access: Internet from the NTRS web site. Address as of 06/11/09: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19890015440%5F1989015440.pdf ; current access is available via PURL.