Stochastical Model Checking
Bonjour,
Il est maintenant possible d'ajouter des lois de probabilités aux transitions des machines à états. A quand un lien avec un model-checker stochastique de type UPPAAL-SMC ou UPPAAL-stratego ?
Joyeuses Fêtes !
Pierre de Saqui-Sannes, ISAE-SUPAERO, Toulouse, France.
Submitted by external user pdss@isae.fr