L'ouvrage présente des cas concrets d'utilisations industrielles des techniques formelles basées sur l'analyse statique comme l'interprétation abstraite. Avec des exemples détaillés d'utilisation des outils Astrée, Caveat, CodePeer, Framac ou Polyspace. ©Electre 2024
Cet ouvrage présente des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modèles de spécifications et/ou de conception et servent également à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc.
Les standards des différents domaines prennent en compte la mise en oeuvre des méthodes formelles comme moyen de construire un logiciel critique de sécurité.
Les exemples industriels de mise en oeuvre des techniques formelles basées sur l'analyse statique, comme l'interprétation abstraite avec des exemples d'utilisation des outils Astrée, Caveat, CodePeer, Framac ou Polyspace sont détaillés.
Paru le : 16/06/2011
Thématique : Matériel
Auteur(s) : Non précisé.
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Informatique et systèmes d'information
Contributeur(s) : Directeur de publication : Jean-Louis Boulanger
Série(s) : Non précisé.
ISBN : 978-2-7462-3206-8
EAN13 : 9782746232068
Reliure : Cartonné
Pages : 414
Hauteur: 24.0 cm / Largeur 16.0 cm
Poids: 750 g
Carte fidélité
Mollat Radio
