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