Download or read book Using Penelope to Assess the Correctness of NASA Ada Software written by Carl T. Eichenlaub and published by . This book was released on 1993 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Using Penelope to Assess the Correctness of NASA Ada Software A Demonstration of Formal Methods as a Counterpart to Testing written by Carl T. Eichenlaub and published by . This book was released on 1993 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Using Penelope to Assess the Correctness of NASA ADA Software written by National Aeronautics and Space Administration (NASA) and published by Createspace Independent Publishing Platform. This book was released on 2018-07-23 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt: Life-critical applications warrant a higher level of software reliability than has yet been achieved. Since it is not certain that traditional methods alone can provide the required ultra reliability, new methods should be examined as supplements or replacements. This paper describes a mathematical counterpart to the traditional process of empirical testing. ORA's Penelope verification system is demonstrated as a tool for evaluating the correctness of Ada software. Grady Booch's Ada calendar utility package, obtained through NASA, was specified in the Larch/Ada language. Formal verification in the Penelope environment established that many of the package's subprograms met their specifications. In other subprograms, failed attempts at verification revealed several errors that had escaped detection by testing. Eichenlaub, Carl T. and Harper, C. Douglas and Hird, Geoffrey Unspecified Center ADA (PROGRAMMING LANGUAGE); COMPUTER PROGRAMS; PROGRAM VERIFICATION (COMPUTERS); RELIABILITY ANALYSIS; RELIABILITY ENGINEERING; SAFETY; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; ERROR ANALYSIS; SPECIFICATIONS; SYSTEM FAILURES...
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1992 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Second NASA Formal Methods Workshop 1992 written by and published by . This book was released on 1992 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Third NASA Langley Formal Methods Workshop written by and published by . This book was released on 1995 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on with total page 1450 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalogue United States Public Documents written by and published by . This book was released on 1995-03 with total page 1048 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Government Reports Annual Index written by and published by . This book was released on 1994 with total page 1442 pages. Available in PDF, EPUB and Kindle. Book excerpt: Sections 1-2. Keyword Index.--Section 3. Personal author index.--Section 4. Corporate author index.-- Section 5. Contract/grant number index, NTIS order/report number index 1-E.--Section 6. NTIS order/report number index F-Z.
Download or read book COMPASS written by and published by . This book was released on 1995 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Government Reports Announcements Index written by and published by . This book was released on 1996 with total page 740 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book AIAA Computing in Aerospace Conference written by and published by . This book was released on with total page 902 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Formal Methods and Digital Systems Validation for Airborne Systems written by John Rushby and published by . This book was released on 1993 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Aeronautical Journal written by and published by . This book was released on 1993 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings IEEE AIAA NASA 9th Digital Avionics Systems Conference October 15 18 1990 Virginia Beach Virginia written by and published by . This book was released on 1990 with total page 732 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings written by and published by . This book was released on 1990 with total page 732 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book TBell A Mathematical Tool for Analyzing Decision Tables written by D. N. Hoover and published by . This book was released on 1994 with total page 62 pages. Available in PDF, EPUB and Kindle. Book excerpt:
