The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Computer related risks
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The Science of Programming
Applications of Formal Methods
Applications of Formal Methods
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Report on the programming language Euclid
ACM SIGPLAN Notices
| Hi-index | 0.00 |
It is important to know that a computer program meets its specifications. Program errors might result in the loss of life or limb, the loss of information, or the loss of financial assets. With the massive penetration of computing technology into society, program errors can result in widespread inconvenience and risk (Neumann (1994) discusses and catalogs numerous failures of computing systems.) Various techniques can be used to determine whether a program satisfies its precise and rigorous specifications. Each technique provides varying amounts of assurance.