Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay; Jean-François Raskin

Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

63 Téléchargements (Pure)

langue originale	Anglais
titre	32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings
Editeur	ACM Press
Pages	335-344
Nombre de pages	10
Etat de la publication	Publié - 2010

Accès au document

69408manuscrit soumis, 381 KB

1 Terminé

Evolution: PReCISE Evolution
Cleve, A.
1/01/10 → 31/01/10
Projet: Axe de recherche

Contient cette citation

@inproceedings{fa423485b84d45b48ac3e7f2f3dc587b,

title = "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines",

author = "Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay and Jean-Fran{\c c}ois Raskin",

year = "2010",

language = "English",

pages = "335--344",

booktitle = "32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings",

publisher = "ACM Press",

address = "United States",

}

Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. / Classen, Andreas; Heymans, Patrick ; Schobbens, Pierre-Yves; Legay, Axel; Raskin, Jean-François.

32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings. ACM Press, 2010. p. 335-344.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

TY - GEN

T1 - Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

AU - Classen, Andreas

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

AU - Raskin, Jean-François

PY - 2010

Y1 - 2010

M3 - Conference contribution

SP - 335

EP - 344

BT - 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings

PB - ACM Press

ER -

Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

Accès au document

Projets

Evolution: PReCISE Evolution

Contient cette citation