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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal Methods Applied to Complex Systems: Implementation of the B Method s. 1 - 34
Hlavní autor:	Boulanger, Jean‐Louis
Médium:	Kapitola
Jazyk:	angličtina
Vydáno:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Témata:	B method formal programming method homogeneous notation verification method
ISBN:	1848217099, 9781848217096
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!