Description
Méthodologies de spécification logicielle formelle, de développement et de vérification. Utilisation des preuves de théorème, déduction automatisée et autres méthodes formelles liées pour la correction logicielle. Applications en vérification de programmes et calcul sécurisé.
Texte de référence dans sa langue d’origine
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/COMP/