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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Formal Methods Applied to Complex Systems: Implementation of the B Method S. 1 - 34
1. Verfasser: Boulanger, Jean‐Louis
Format: Buchkapitel
Sprache:Englisch
Veröffentlicht: Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Schlagworte:
B method
formal programming method
homogeneous notation
verification method
ISBN:1848217099, 9781848217096
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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