Formal specification with B

MaRDI QIDQ2757791zbMATH OpenFDO

Authors Henri Habrias

Publication date 4 December 2001

zbMATH Keywords

B method

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65)

Review text

Le livre ``Spécification formelle avec B est une introduction à la notation B et à la méthode B. La méthode B a été elaborée par J.-R. Abrial pour spécifier, concevoir et coder des systèmes logiciels. Le concept de base est celui de machine abstraite dont l'état est décrit par un invariant. La méthode consiste à prouver formellement que les opérations respectent bien l'invariant, puis à raffiner les machines abstraites en machines implantables, et à prouver que ce raffinage est correct.NEWLINENEWLINENEWLINELa méthode B est utilisée dans l'industrie, notamment dans les systèmes de sécurité, de protection et de contrôle de vitesse des trains.

Recommendations

• scientific article; zbMATH DE number 1262881
• Elements of B-method formalization
• Formal specification and verification
• scientific article; zbMATH DE number 1350767
• Formal Specification and Design
• scientific article; zbMATH DE number 5875154
• Formal Specification - A Comparison of Two Techniques
• Argumentation in Multi-Agent Systems

Cited in

(14)

• B: Towards zero defect software
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• scientific article; zbMATH DE number 1949627 (Why is no real title available?)
• scientific article; zbMATH DE number 2013582 (Why is no real title available?)
• scientific article; zbMATH DE number 2013599 (Why is no real title available?)
• scientific article; zbMATH DE number 2013600 (Why is no real title available?)
• scientific article; zbMATH DE number 2013601 (Why is no real title available?)
• scientific article; zbMATH DE number 2080009 (Why is no real title available?)
• scientific article; zbMATH DE number 2080010 (Why is no real title available?)
• scientific article; zbMATH DE number 1487744 (Why is no real title available?)
• scientific article; zbMATH DE number 2172802 (Why is no real title available?)
• scientific article; zbMATH DE number 2090133 (Why is no real title available?)
• scientific article; zbMATH DE number 5875154 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication: Formal specification with B

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2757791)