Introduction à la vérification logicielle avec le langage Dafny : Prouver la correction d'un programme

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.

Titre original :

Introducing Software Verification with Dafny Language: Proving Program Correctness

Contenu du livre :

Initiez-vous à la vérification des logiciels et à la démonstration de leur exactitude à l'aide du langage de programmation Dafny, soutenu par Microsoft Research. Alors que d'autres ouvrages sur le sujet sont très rigoureux sur le plan mathématique, ce livre utilise aussi peu de symboles mathématiques et de rigueur que possible, et explique chaque concept dans un langage simple. Il s'agit d'une introduction parfaite pour les programmeurs et les développeurs de logiciels ayant des compétences en C# et dans d'autres langages de programmation.

Il peut être difficile d'écrire des logiciels corrects, c'est pourquoi vous apprendrez le concept de calcul et de vérification des logiciels. Ensuite, vous appliquerez ces concepts et techniques pour écrire en toute confiance un code sans bogue et facile à comprendre. Le code source sera disponible tout au long du livre et librement accessible via GitHub.

Après avoir lu et utilisé ce livre, vous serez en mesure d'écrire un code source logiciel correct, grand et libre, applicable quelle que soit la plateforme et le langage de programmation que vous utilisez.

Ce que vous apprendrez

⬤ Découvrez le langage de programmation Dafny, soutenu par Microsoft Research.

⬤ Explorer la logique Hoare, les programmes impératifs et fonctionnels.

⬤ Travailler avec des pré-conditions et des post-conditions.

⬤ Utiliser les types de données, le filtrage et les classes.

⬤ Les exemples de vérification pour une réutilisation potentielle dans vos propres projets.

A qui s'adresse ce livre

Développeurs de logiciels et programmeurs ayant au moins une expérience préalable de la programmation de base. Aucun langage spécifique n'est nécessaire. Ce cours s'adresse également aux personnes ayant une expérience de base en mathématiques (fonctions, variables).

Autres informations sur le livre :

• ISBN : 9781484279779
• Auteur : Boro Sitnikovski
• Éditeur : Apress
• Langue : anglais
• Reliure : Broché
• Année de publication : 2022
• Nombre de pages : 131