Commit cae45a89 authored by Antoine Martin's avatar Antoine Martin
Browse files

add martin.19.seminar entry to csi.bib

parent ce498b96
Pipeline #10348 passed with stages
in 4 minutes and 29 seconds
......@@ -4861,6 +4861,45 @@ recherche et d'analyse d'information (lexicale, s\'emantique etc.).
lrdeprojects = {Olena}
@TechReport{ martin.19.seminar,
author = {Antoine Martin},
title = {Exploring various implementations for goroutines
support in go2pins},
titre = {Diff\'erentes impl\'ementations pour le support des
goroutines dans go2pins},
institution = {EPITA Research and Development Laboratory (LRDE)},
year = 2019,
number = 1908,
abstract = {go2pins is a tool used to interface Go programs
with model checking algorithms. Trough a series of
transformations, a standard Go program is compiled
to another behaving the same way, but exposing an
interface allowing to iterate over its various
states. However, go2pins currently doesn't support
programs that use goroutines, Go's concurrency
primitives. In this report, we present the various
solutions we've assessed to implement this behaviour
inside go2pins, and the problems we've had to solve
along the way.},
resume = {go2pins est un outil utilis\'e pour interfacer un
programme Go avec des outils de v\'erification
formelle. \`A l'aide d'une s\'erie de
transformations, un programme Go est compil\'e vers
un programme au comportement identique, mais
exposant une interface permettant d'it\'erer dans
l'espace d'\'etats de celui ci. Cependant, go2pins
ne g\`ere actuellement pas les programmes utilisant
des goroutines, qui permettent l'ex\'ecution
parall\`ele de fonctions. Dans ce rapport, nous
pr\'esentons les solutions envisag\'ees pour
impl\'ementer ce comportement dans go2pins, ainsi
que les probl\`emes rencontr\'es.},
resumecourt = {Nous pr\'esentons les diverses solutions
envisag\'ees pour interfacer des programmes
utilisant des goroutines avec des outils de
v\'erification formelle.}
@TechReport{ melin.07.seminar,
oldkeys = {melin.ramakichenin.07.seminar},
author = {Charles Melin and Julien Ramakichenin},
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment