Tools to Support Formal Methods

S. Patel, Rodney A. Orr, Mark T. Norris, David W. Bustard

Abstract

A key factor in the acceptance of high level programming languages has been the development of a comprehensive set of tools to support the user. If formal languages for specification are to achieve the same level of acceptance, they too will require extensive automated support. This paper describes a set of prototype tools which are designed to assist the developer in the use of fortnal specilication techniques.

BibTeX

@inproceedings{Patel-al:ICSE89,
  author    = {S. Patel and
               Rodney A. Orr and
               Mark T. Norris and
               David W. Bustard},
  title     = {Tools to Support Formal Methods},
  booktitle = {ICSE},
  pages     = {123--132},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1989},
}

Tools to Support Formal Methods

Abstract

Related papers