Mise en oeuvre de la méthode B

Disponibilité:
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.

Protection:
ACS4

Année de parution:
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.