Nantilus
Utilisations industrielles des techniques formelles : interprétation abstraite
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...
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Utilisations industrielles des techniques formelles : interprétation abstraite / sous la direction de Jean-Louis Boulanger |
| Publié : |
Paris :
Hermes science publ.
, impr. 2011, cop. 2011 Lavoisier |
| Description matérielle : | 1 vol. (414 p.) |
| Collection : | Informatique et systèmes d'information. Recherche, technologie, applications |
| Accès en ligne : |
Sommaire et résumé disponibles sur le site de l'éditeur à l'adresse [consulté le 2013-04-09]
|
| Sujets : |
- Chapitre 1, Techniques formelles pour la vérification et la validation
- Chapitre 2, L'analyseur statique Astrée
- Chapitre 3, Airbus : vérification formelle en avionique
- Chapitre 4, Polyspace
- Chapitre 5, Robustesse logicielle vis-à-vis de valeurs dysfonctionnelles par analyse statique
- Chapitre 6, CodePeer : au-delà de la recherche de bugs avec l'analyse statique
- Chapitre 7, Méthodes formelles et conformité au standard DO-178C/ED-12C en aéronautique
- Chapitre 8, Méthode intégrée outillée développée par Thales pour l'étude du passage en entiers et des débordements pour des composants logiciels SIL4