Providing mechanical support for program development in a weakest precondition calculus

Providing mechanical support for program development in a weakest precondition calculus

Thesis (MSc)--Stellenbosch University, 1993. === ENGLISH ABSTRACT: Formal methods aim to apply the rigour of mathematical logic to the problem ofguaranteeing that the behaviour of (critical) software conforms to predetermined requirements. The application of formal methods during program constructio...

Full description

Bibliographic Details
Main Author: Ackerman, Charlotte Christene
Other Authors: De Villiers, P. J. A.
Format: Others
Language:en_ZA
Published: Stellenbosch : Stellenbosch University 2013
Subjects:
Mathematical logic
Calculus > Computer programs
Theses > Computer science
Dissertations > Computer science
Computer software > Development
Online Access:http://hdl.handle.net/10019.1/79317

Internet

http://hdl.handle.net/10019.1/79317

Similar Items