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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Lara entame un stage en psychiatrie d’addictologie, en vue d’ouvrir ensuite une structure d’accueil pour jeunes en situation d’addiction au numérique...
Un douloureux passage à l'âge adulte, entre sensibilité et horreur...
Blanche vient de perdre son mari, Pierre, son autre elle-même. Un jour, elle rencontre Jules, un vieil homme amoureux des fleurs...
Des idées de lecture pour ce début d'année !
