Mise en oeuvre de la méthode B

Availability:
Ebook in PDF format. Available for immediate download after we receive your order

DRM:
ACS4

Publication Year:
2021

ISBN-13: 9782746288102

Présentation d'un modèle, la méthode B, pour analyser et vérifier le comportement d'un logiciel. Cette méthode formelle s'appuie sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Avec des exemples en avionique et systèmes manufacturiers.