Presentation of the B Method

A complete course on the B method is beyond the scope of the current chapter; however, have been able to present the basic principles of this formal method. A formal method is based on a syntax, a semantics and a verification method. The B method is a formal programming method that aims to specify a...

Full description

Saved in:
Bibliographic Details
Published in:Formal Methods Applied to Complex Systems: Implementation of the B Method pp. 1 - 34
Main Author: Boulanger, Jean‐Louis
Format: Book Chapter
Language:English
Published: Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Subjects:
B method
formal programming method
homogeneous notation
verification method
ISBN:1848217099, 9781848217096
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A complete course on the B method is beyond the scope of the current chapter; however, have been able to present the basic principles of this formal method. A formal method is based on a syntax, a semantics and a verification method. The B method is a formal programming method that aims to specify and produce software safely. One of the significances of the B method is that it offers a homogeneous notation for the specification and the design of a software application. For the B method, the verification principle is the proof. The crucial difference between the B method and the classical development lies in the fact that with formal methods the program is correct by construction. The test thus becomes an “obsolete” activity, which is good news given the cost of testing.
ISBN:1848217099
9781848217096
DOI:10.1002/9781119002727.ch1