Actions for Application of automated reasoning software : procedure generation system verifier

Email RIS file
Bookmark
Report an Issue

Application of automated reasoning software : procedure generation system verifier

Author
Smith, D. E.
Published
United States : [publisher not identified], 1984
Springfield, Va.: National Technical Information Service, [approximately 1984]
Physical Description
microfiche : negative ; 11 x 15 cm
Additional Creators
Seeman, S. E.

Availability

Browse Nearby on Shelf
I Want It
I Want It

Finding items...

Summary
An on-line, automated reasoning software system for verifying the actions of other software or human control systems has been developed. It was demonstrated by verifying the actions of an automated procedure generation system. The verifier uses an interactive theorem prover as its inference engine with the rules included as logic axioms. Operation of the verifier is generally transparent except when the verifier disagrees with the actions of the monitored software. Testing with an automated procedure generation system demonstrates the successful application of automated reasoning software for verification of logical actions in a diverse, redundant manner. A higher degree of confidence may be placed in the verified actions gathered by the combined system.
Report Numbers
DE85014000; HEDL-SA-3214-FP; CONF-850410-58
Other Subject(s)
Collection
NTIS collection.
Note
DOE contract number: AC06-76FF02170
OSTI Identifier 5569873
Research organization: Hanford Engineering Development Lab., Richland, WA (USA).
View MARC record | catkey: 47354881