La vérification des systèmes par modélisation pour vaincre la complexité

Le portail de L'Alliance Francophone des projets BOINC
http://www.boinc-af.org/content/view/1098/289/
Les systèmes à forte composante logicielle sont la pierre de voûte d'activités aussi vitales que l'aérospatiale, le ferroviaire, l'automobile ou encore la médecine. On comprend très facilement l'importance des techniques qui permettent de s'assurer du bon fonctionnement des systèmes utilisés dans ces domaines.
...