Accession Number : ADA192483

Title :   The Software Repeater (An Exercise in Z Specification).

Descriptive Note : Memorandum rept.,

Corporate Author : ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (ENGLAND)

Personal Author(s) : O'Halloran, C

PDF Url : ADA192483

Report Date : Oct 1987

Pagination or Media Count : 24

Abstract : The specification of a software repeater in a language known as Z is presented. The specification is then refined into an implementation in the C programming language. The correctness of the implementation is shown by means of proof obligations and the program analysis tool Malpas. The C implementation was compiled and ran successfully on a 68010 processor.

Descriptors :   *COMPUTER PROGRAMS, *REPEATERS, PROGRAMMING LANGUAGES, SIMULATION LANGUAGES, DATA TRANSMISSION SYSTEMS, BUFFERS, GREAT BRITAIN

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE