The Software Repeater (An Exercise in Z Specification).

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1987
Accession Number
ADA192483

Entities

People

  • C. O'halloran

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • C Programming Language
  • Case Studies
  • Computer Programming
  • Computer Programs
  • Design Criteria
  • Foreign Languages
  • Guarantees
  • Iterations
  • Language
  • Personality
  • Programming Languages
  • Repeaters
  • Sequences
  • Set Theory
  • Specifications
  • Standards
  • Translations

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Software Engineering.