Dilian Gurov

Une approche structurée pour vérifier les propriétés des systèmes en utilisant la logique des arbres de calcul.

Un aperçu de comment la logique de trace aide à la vérification des programmes récursifs.

Découvre comment la vérification automatique des programmes assure la justesse du code et évite les problèmes.