Zobrazeno 1 - 3
of 3
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
Cet ouvrage présente l'utilisation des méthodes formelles pour les systèmes répartis et coopératifs dans un contexte pratique de Génie Logiciel. Ces techniques sont particulièrement intéressantes pour les domaines dits'critiques'. En effet, l