>> la vérif formelle de soft ça existe ça ? ben pourquoi c'est si peu utilisé alors ? :)
Parce que ça coûte très cher, et que c'est donc rarement utilisé pour autre chose que les applications critiques, du genre métro Météor, ou les commandes électriques des avions. Il faut démontrer tous les théorêmes, une partie est faite par des outils de preuve, le reste est démontré "à la main".
[^] # Re: Plex86 (ex-FreeMWare) sort en v0.1
Posté par Philip Marlowe . En réponse à la dépêche Plex86 (ex-FreeMWare) sort en v0.1. Évalué à 3.
Parce que ça coûte très cher, et que c'est donc rarement utilisé pour autre chose que les applications critiques, du genre métro Météor, ou les commandes électriques des avions. Il faut démontrer tous les théorêmes, une partie est faite par des outils de preuve, le reste est démontré "à la main".