Jospeh Sifakis, prix Turing 2007 (l'équivalent du prix Nobel pour le domaine de l'informatique), explique ce qu'est le model checking, pour lequel il a été récompensé.
Source, Le Journal du Net : http://www.journaldunet.com/
Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d'origine informatique ou électronique). Il s'agit de vérifier algorithmiquement si un modèle donné, le système lui-même ou une abstraction du système, satisfait une spécification, souvent formulée en termes de logique temporelle. (définition Wikipédia)
L'un des sous projet de la plateforme VTU@home est entièrement axé sur la sécurité des systèmes à forte composante logicielle qui sont la pierre de voûte d'activités aussi vitales que l'aérospatiale, le ferroviaire, l'automobile ou la médecine.
Plus d'information : http://www.boinc-af.org/content/view/211/215/
Source, Le Journal du Net : http://www.journaldunet.com/
Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d'origine informatique ou électronique). Il s'agit de vérifier algorithmiquement si un modèle donné, le système lui-même ou une abstraction du système, satisfait une spécification, souvent formulée en termes de logique temporelle. (définition Wikipédia)
L'un des sous projet de la plateforme VTU@home est entièrement axé sur la sécurité des systèmes à forte composante logicielle qui sont la pierre de voûte d'activités aussi vitales que l'aérospatiale, le ferroviaire, l'automobile ou la médecine.
Plus d'information : http://www.boinc-af.org/content/view/211/215/
Category
🤖
Technologie