Title :
Formal methods into practice: case studies in the application of the B method
Author :
Bicarregui, J.C. ; Clutterbuck, D.L. ; Finnie, G. ; Haughton, H. ; Lano, K. ; Lesan, H. ; Marsh, D.W.R.M. ; Matthews, B.M. ; Moulding, M.R. ; Newton, A.R. ; Ritchie, B. ; Rushton, T.G.A. ; Scharbach, P.N.
Author_Institution :
Dept. of Comput. & Inf. Syst., Rutherford Appleton Lab., Chilton, UK
fDate :
4/1/1997 12:00:00 AM
Abstract :
The paper reports on an investigation into the application of the B method of formal software development. Six case studies are described, each exploring a different aspect of the use of the B methodology and toolkit. The case studies are drawn from a diverse range of applications and address different aspects of the software development lifecycle. The notation, method and tool support are assessed and conclusions are drawn concerning the use of B and formal methods generally
Keywords :
formal specification; formal verification; software tools; B method; B methodology; B toolkit; formal software development; notation; software development lifecycle; tool support;
Journal_Title :
Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
DOI :
10.1049/ip-sen:19970974
