Difference between revisions of "Publications/kirszenberg.18.seminar/fr"
From LRDE
(Created page with "{{CSIReportFR | authors = Alexandre Kirszenberg | titre = go2pins: A model checking toolset for the Go programming language | year = 2018 | number = 1806 | resume = La vérifi...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{CSIReportFR |
{{CSIReportFR |
||
| authors = Alexandre Kirszenberg |
| authors = Alexandre Kirszenberg |
||
| − | | titre = go2pins: |
+ | | titre = go2pins: vérification de modèles pour le langage de programmation Go |
| year = 2018 |
| year = 2018 |
||
| number = 1806 |
| number = 1806 |
||
| − | | resume = La vérification de modèles est un ensemble de techniques et algorithmes servant à vérifier qu'un programme respecte certaines propriétés. Dans ce rapport, nous présentons une chaîne de compilation permettant d'appliquer des algorithmes de vérification de modèles aux programmes écrits en langage Go. Au travers d'une série de transformations, nous compilons un programme Go vers un programme Go équivalent dont l'état est itérable. Ce nouveau programme peut interfacer avec |
+ | | resume = La vérification de modèles est un ensemble de techniques et algorithmes servant à vérifier qu'un programme respecte certaines propriétés. Dans ce rapport, nous présentons une chaîne de compilation permettant d'appliquer des algorithmes de vérification de modèles aux programmes écrits en langage Go. Au travers d'une série de transformations, nous compilons un programme Go vers un programme Go équivalent dont l'état est itérable. Ce nouveau programme peut s'interfacer avec les outils de vérification existants. |
| type = techreport |
| type = techreport |
||
| id = kirszenberg.18.seminar |
| id = kirszenberg.18.seminar |
||
Latest revision as of 22:14, 20 June 2018
- Auteurs
- Alexandre Kirszenberg
- Type
- techreport
- Année
- 2018
- Numéro
- 1806
Résumé
La vérification de modèles est un ensemble de techniques et algorithmes servant à vérifier qu'un programme respecte certaines propriétés. Dans ce rapport, nous présentons une chaîne de compilation permettant d'appliquer des algorithmes de vérification de modèles aux programmes écrits en langage Go. Au travers d'une série de transformations, nous compilons un programme Go vers un programme Go équivalent dont l'état est itérable. Ce nouveau programme peut s'interfacer avec les outils de vérification existants.