Journal article icon

Journal article

Validation methods using formal techniques

Abstract:

For many years computer scientists have been developing languages and techniques to clarify the structure of programs through establishing a sound mathematical foundation. The techniques included under the general umberella of formal methods have been introduced especially to put the design phase of program onto an analytical basis. Through demanding a precise mathematical notation at each stage of specification and design, they enforce a clarity of thought as well as providing methods for ma...

Expand abstract

Actions


Authors


Publisher:
Publ by IEE
Journal:
IEE Conference Publication
Issue:
344
Pages:
244-249
Publication date:
1991-01-01
URN:
uuid:3b365cb7-0f51-4357-a9e9-8ccea9b35dde
Source identifiers:
324728
Local pid:
pubs:324728
Language:
English

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP