Journal ArticleDOI
A functional correctness model of program verification
Reads0
Chats0
TLDR
A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented, and the techniques can be applied informally to determine the functionality of complex interactions.Abstract:
A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented. The method is applied to rather simple programs. However, even in large complex implementations, the techniques can be applied informally to determine the functionality of complex interactions. The technique is easy to learn (it is used in a freshman computer science course) and lends itself to automation. >read more
Citations
More filters
Book
Software Specification: A Comparison of Formal Methods
TL;DR: The axiomatic approach functional correctness predicate transformers algebraic specifications denotational semantics specification models models are presented.
Journal ArticleDOI
A management tool for evaluation of software design
TL;DR: A model for evaluating software designs based on extending the functional model of program verification with concepts from economic decision theory has been proposed and a prototype implementation of a tool, called Selector, is discussed, which implements this technique.
Book
Designing Maintainable Software
TL;DR: This book argues for a new way of thinking about maintaining software, proposing the use of a set of human factors principles that govern the programming-software-event world interactions and form the core of the maintenance process.
Journal ArticleDOI
A method for documenting code components
TL;DR: An analysis approach designed to generate program documentation that satisfies a set of criteria for facilitating the rigorous understanding of code components via documentation is presented and existing notations and approaches with respect to these criteria are evaluated.
References
More filters
Journal ArticleDOI
An axiomatic basis for computer programming
TL;DR: An attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics.
Book
The science of programming
TL;DR: Describes basic programming principles and their step-by- step applications and shows how to apply them to real-world problems.
Journal ArticleDOI
The algebraic specification of abstract data types
John V. Guttag,J. J. Horning +1 more
TL;DR: An algebraic technique for embedding abstract data types in programming languages is presented, some of the formal properties of the technique are developed, and it is shown that these provide useful guidelines for the construction of adequate specifications.
Journal ArticleDOI
Software safety: why, what, and how
TL;DR: In this article, a survey of software safety issues in real-time, safety-critical processes is presented, with an emphasis on the outstanding issues and research topics and how to solve them.