Difference between revisions of "Publications/martin.19.seminar/fr"

From LRDE

(Created page with "{{CSIReportFR | authors = Antoine Martin | titre = Comment implémenter le support des goroutines dans go2pins | year = 2019 | number = 1908 | resume = go2pins est un outil ut...")
 
Line 3: Line 3:
 
| titre = Comment implémenter le support des goroutines dans go2pins
 
| titre = Comment implémenter le support des goroutines dans go2pins
 
| year = 2019
 
| year = 2019
| number = 1908
+
| number = 1910
 
| resume = go2pins est un outil utilisé pour interfacer un programme Go avec des outils de vérification formelle. À l'aide d'une série de transformations, un programme Go est compilé vers un programme au comportement identique, mais exposant une interface permettant d'itérer dans l'espace d'états de celui ci. Cependant, go2pins ne gère actuellement pas les programmes utilisant des goroutines, qui permettent l'exécution parallèle de fonctions. Dans ce rapport, nous présentons les solutions envisagées pour implémenter ce comportement dans go2pins, ainsi que les problèmes rencontrés.
 
| resume = go2pins est un outil utilisé pour interfacer un programme Go avec des outils de vérification formelle. À l'aide d'une série de transformations, un programme Go est compilé vers un programme au comportement identique, mais exposant une interface permettant d'itérer dans l'espace d'états de celui ci. Cependant, go2pins ne gère actuellement pas les programmes utilisant des goroutines, qui permettent l'exécution parallèle de fonctions. Dans ce rapport, nous présentons les solutions envisagées pour implémenter ce comportement dans go2pins, ainsi que les problèmes rencontrés.
 
| type = techreport
 
| type = techreport

Revision as of 14:45, 30 June 2019

Résumé

go2pins est un outil utilisé pour interfacer un programme Go avec des outils de vérification formelle. À l'aide d'une série de transformations, un programme Go est compilé vers un programme au comportement identique, mais exposant une interface permettant d'itérer dans l'espace d'états de celui ci. Cependant, go2pins ne gère actuellement pas les programmes utilisant des goroutines, qui permettent l'exécution parallèle de fonctions. Dans ce rapport, nous présentons les solutions envisagées pour implémenter ce comportement dans go2pins, ainsi que les problèmes rencontrés.