Tout à fait, le travail de preuve d'application et d'applis prouvées est bien plus large que les pré/post-conditions et c'est une branche assez passionnante indépendamment des outils et langages.
Je profite de ce commentaire pour remercier pour cette dépêche et la découverte à lire ;-)
"It is seldom that liberty of any kind is lost all at once." ― David Hume
[^] # Re: Ada aujourd'hui ?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse à la dépêche Alire, le package manager d'Ada. Évalué à 4.
Tout à fait, le travail de preuve d'application et d'applis prouvées est bien plus large que les pré/post-conditions et c'est une branche assez passionnante indépendamment des outils et langages.
Je profite de ce commentaire pour remercier pour cette dépêche et la découverte à lire ;-)
"It is seldom that liberty of any kind is lost all at once." ― David Hume