30 research outputs found
Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef : March 19-23, 1979
Get PDFFoundations of computer science : [an advanced course on the foundations of computer science organized by the Mathematical Centre, held at the University of Amsterdam, May 20-31, 1974]
Get PDF
Esprit. European Strategic Programme for Research and Development in Information Technology. The project synopses. Software technology. Volume 3 of a series of 7
Get PDF
Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers
Get PDFA number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic
