Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition
Ce travail porte sur la vérification de composants logiciels dans les systèmes embarqués critiques avioniques. Les conséquences d’une erreur dans de tels systèmes pouvant s'avérer catastrophiques, il se doivent de respecter leur spécification. La vérification formelle tend à prouver cette adéqu...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014ESAE0001/document |