Zobrazeno 1 - 2
of 2
pro vyhledávání: '"automates communiquants"'
Autor:
Le Gall, Tristan
L'analyse des systèmes communiquant par file a fait l'objet d'études scientifiques nombreuses mais qui n'ont pu offrir des solutions totalement satisfaisantes. Nous proposons d'aborder ce problème dans le cadre de l'interprétation abstraite, en d
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00424552
http://tel.archives-ouvertes.fr/docs/00/42/45/52/PDF/LeGall.pdf
http://tel.archives-ouvertes.fr/docs/00/42/45/52/PDF/LeGall.pdf
Autor:
Le Gall, Tristan
Publikováno v:
Software Engineering [cs.SE]. Université Rennes 1, 2008. English. ⟨NNT : ⟩
Many scientific studies analysed the FIFO channel systems, but none offered a fully satisfying solution. We propose to tackle this problem within the abstract interpretation framework, by defining some abstract lattices adapted to this kind of system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::8d934a2a4f1245671179c8506693730c
https://theses.hal.science/tel-00424552/document
https://theses.hal.science/tel-00424552/document