Vérification de réseaux paramétrés par analyse d’accessibilité
Touili, Tayssir1
1 Laboratoire LIAFA Université Paris VII 2, place Jussieu, case 7014 F-75251 Paris Cedex 05 France
Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 81-84.
Publié le :
Touili, Tayssir 1

1 Laboratoire LIAFA Université Paris VII 2, place Jussieu, case 7014 F-75251 Paris Cedex 05 France 
@article{RFM_2002__6_S2_81_0,
     author = {Touili, Tayssir},
     title = {V\'erification de r\'eseaux param\'etr\'es par analyse d{\textquoteright}accessibilit\'e},
     journal = {Femmes & math},
     pages = {81--84},
     publisher = {Association femmes et math\'ematiques},
     year = {2002},
     language = {fr},
     url = {http://www.numdam.org/item/RFM_2002__6_S2_81_0/}
}
TY  - JOUR
AU  - Touili, Tayssir
TI  - Vérification de réseaux paramétrés par analyse d’accessibilité
JO  - Femmes & math
PY  - 2002
SP  - 81
EP  - 84
PB  - Association femmes et mathématiques
UR  - http://www.numdam.org/item/RFM_2002__6_S2_81_0/
LA  - fr
ID  - RFM_2002__6_S2_81_0
ER  - 
%0 Journal Article
%A Touili, Tayssir
%T Vérification de réseaux paramétrés par analyse d’accessibilité
%J Femmes & math
%D 2002
%P 81-84
%I Association femmes et mathématiques
%U http://www.numdam.org/item/RFM_2002__6_S2_81_0/
%G fr
%F RFM_2002__6_S2_81_0
Touili, Tayssir. Vérification de réseaux paramétrés par analyse d’accessibilité. Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 81-84. http://www.numdam.org/item/RFM_2002__6_S2_81_0/

[1] P. A. Abdulla, A. Bouajjani, B. Jonsson, and M. Nilsson. Handling global conditions in parametrized system verification. Lecture Notes in Computer Science, 1633 :134–150, 1999. | Zbl

[2] A. Bouajjani, B. Jonsson, M. Nilsson, and T. Touili. Regular model checking. In 12th Intern. Conf. on Computer Aided Verification (CAV’00). LNCS, Springer-Verlag, 2000. | Zbl

[3] A. Bouajjani, A. Muscholl, and T. Touili. Permutation Rewriting and Algorithmic Verification. In Proc. 17th Symp. on Logic in Computer Science (LICS’01). IEEE, 2001. | Zbl

[4] L. Fribourg and H. Olsen. Reachability sets of parametrized rings as regular languages. In Infinity’97. volume 9 of Electronical Notes in Theoretical Computer Science. Elsevier Science, 1997. | MR | Zbl

[5] T. Touili. Widening Techniques for Regular Model Checking. In 1st vepas workshop. Volume 50 of Electronic Notes in Theoretical Computer Science, 2001.