Tools To Support Formal Methods
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4 (02705257) , 123-132
- https://doi.org/10.1109/icse.1989.714405
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.Keywords
This publication has 11 references indexed in Scilit:
- Strengths and weaknesses of Program Verification SystemsPublished by Springer Nature ,2005
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Power and Limitations of Formal Methods for Software FabricationJournal of Information Technology, 1987
- Functional programming, formal specification, and rapid prototypingIEEE Transactions on Software Engineering, 1986
- Applying Formal Specification to Software Development in IndustryIEEE Transactions on Software Engineering, 1985
- Programming: Sorcery or Science?IEEE Software, 1984
- Justification of formal methods for system specificationSoftware & Microsystems, 1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Design for a changing environmentThe Computer Journal, 1980
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977