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...
Kaydedildi:
| Diğer Yazarlar: | |
|---|---|
| Materyal Türü: | Livre papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
Paris :
Hermes science publ. : Lavoisier
C 2011.
|
| Seri Bilgileri: | Recherche, technologie, applications. Informatique et systèmes d'information
|
| Konular: | |
| Not: |
Sommaire et résumé disponibles sur le site de l'éditeur à l'adresse [consulté le 2013-04-09]. http://http://editions.lavoisier.fr/notice.asp?ouvrage=2551936 |
| Autres localisations: | Voir dans le Sudoc |
İçindekiler:
- 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