Formal software development tools : an investigation into usability

Formal methods are techniques that are firmly based in mathematics, they can be used to specify and verify computer systems. Formal techniques offer many advantages, including correctness and productivity over less formal ones. Wide acceptance of these methods is hindered by their relatively difficu...

Full description

Saved in:
Bibliographic Details
Main Author Kadoda, Gada F
Format Dissertation
LanguageEnglish
Published Loughborough University 1997
Subjects
Theorem provers
Online AccessGet full text

Cover

More Information
Summary:Formal methods are techniques that are firmly based in mathematics, they can be used to specify and verify computer systems. Formal techniques offer many advantages, including correctness and productivity over less formal ones. Wide acceptance of these methods is hindered by their relatively difficult notations and theories. This thesis takes the view that the availability of usable tools that support formal techniques plays an important role in promoting their use by a wider community of software engineers.
Bibliography:0000000135938160