Elements of mathematics and logic for computer program analysis

Frédéric Blanqui 1
1 FORMES - Formal Methods for Embedded Systems
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
Abstract : In order to be able to rigorously prove the correctness of a program, one must have a formal definition of: what is a program, syntactically; how it is evaluated, that is, what is its semantics; how to formulate the properties we are interested in; and how to prove them. All this requires to understand some basic mathematical notions like induction, terms, formulas, deduction, etc. These notes are intended to give an introduction to some of these notions.
Type de document :
Cours
Master. Institute of Applied Mechanics and Informatics (IAMA) of the Vietnamese Academy of Sciences and Technology (VAST) at Ho Chi Minh City, Vietnam, 2013, pp.37
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://cel.archives-ouvertes.fr/cel-00934160
Contributeur : Frédéric Blanqui <>
Soumis le : mardi 21 janvier 2014 - 16:08:04
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : mardi 22 avril 2014 - 13:20:22

Identifiants

  • HAL Id : cel-00934160, version 1

Collections

Citation

Frédéric Blanqui. Elements of mathematics and logic for computer program analysis. Master. Institute of Applied Mechanics and Informatics (IAMA) of the Vietnamese Academy of Sciences and Technology (VAST) at Ho Chi Minh City, Vietnam, 2013, pp.37. 〈cel-00934160〉

Partager

Métriques

Consultations de la notice

626

Téléchargements de fichiers

899