Back to Search
Start Over
An experiment in formal software development: using the B theorem prover on a VDM case study
- Source :
- Communications of the ACM. May, 1991, Vol. 34 Issue 5, p62, 11 p.
- Publication Year :
- 1991
-
Abstract
- The last decade has seen a growing interest both by the industrial and academic communities in the use of formal methods for software and hardware development. These methods prescribe a […]
Details
- Language :
- English
- ISSN :
- 00010782
- Volume :
- 34
- Issue :
- 5
- Database :
- Gale General OneFile
- Journal :
- Communications of the ACM
- Publication Type :
- Periodical
- Accession number :
- edsgcl.10718863