Blank Cover Image

FORMAL VERIFICATION OF AI SOFTWARE Final Report

Author(s):
Rushby, John et al. ( SRI International Corp. )  
Publication title:
NASA Technical Reports(N89)
Pub. Year:
1989
Issue:
NASA-CR-181827
No.:
G3/61 0217233
Pt.:
NAS1.26:181827
Paper no.:
N89-24811
Page(from):
1
Page(to):
156
Pages:
156
Pub. info.:
National Aeronautics and Space Administration
Language:
English
Type:
Technical Paper

Similar Items:

1 Technical Paper QUALITY MEASURES AND ASSURANCE FOR AI (ARTIFICIAL INTELLIGENCE) SOFTWARE Final Report

Rushby, John

National Aeronautics and Space Administration
7 Technical Paper FORMAL VERIFICATION OF MATHEMATICAL SOFTWARE

SUTHERLAND, DAVID

National Aeronautics and Space Administration
2 Technical Paper Formal Specification and Verification of a Fault-Masking and Trasient-Recovery Model for Digital Flight-Control Systems

Rushby, John

National Aeronautics and Space Adminstration
8 Technical Paper LASER TRANSIT ANEMOMETER SOFTWARE DEVELOPMENT PROGRAM Final Report

Abbiss, John B.

National Aeronautics and Space Administration
3 Technical Paper Formal Methods and Digital Systems Validation for Airborne Systems

Rushby, John

National Aeronautics and Space Adminstration
9 Technical Paper Formal Verification of Flight Critical Software

Miller, S., Anderson, E., Wagner, L., Whalen, M., Heimdahl, M.

American Institute of Aeronautics and Astronautics
4 Technical Paper Formal methods and their role in digital systems validation for airborne systems

Rushby, John

National Aeronautics and Space Adminstration
10 Technical Paper A Formal Approach for the Verification Process of Space Software

M. Alves, N. Arai, R. Silva, C. Dantas

American Institute of Aeronautics and Astronautics
5 Technical Paper SPECIFYING REAL-TIME SYSTEMS WITH INTERVAL LOGIC Final Report

Rushby, Jhon

National Aeronautics and Space Administration
11 Technical Paper Formal Verification Method for Safety Diagnosis Software

Fumio Narisawa, Masahiro Matsubara, Masataka Nishi, Tomohito Ebina

Society of Automotive Engineers
6 Technical Paper Formal Verification and Automated Testing for Diagnostic and Monitoring Systems

B. Dutertre, J. Rushby, A. Tiwari, C. Munoz, R. Siminiceanu

American Institute of Aeronautics and Astronautics
12 Technical Paper Formal Verification in Model Based Development

Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shin'ichi Shiraishi

Society of Automotive Engineers
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12