TTCP Sub-Group X, Technical Panel XTP-1 (Trustworthy Computing Technologies) Workshop on the Effective Use of Automated Reasoning Technology in System Development, held at Naval Research Laboratory, Washington, DC 6 - 7 April 1992: Discussion Record

Authors
Corporate Authors
TTCP Sub-Group X, Technical Panel XTP-1 (Trustworthy Computing Technologies);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
The program included six papers accepted from about thirty submitted and was organized around six panels: Experience in integrating automated reasoning tools; Common bases/Logic issues/Foundations; Reasoning about Complex Real-Time Systems; User Interfaces to Automated Reasoning Systems; Proof Scripts and Libraries, and Future Directions.
Keywords
AUTOMATED REASONING TOOLS
Date of publication
07 Apr 1992
Number of Pages
168
DSTKIM No
94-02416
CANDIS No
130825
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: