Project Details
Description
A Software Product Line (SPL) is a set of related software variants, developed from shared assets.
Software Verification aims at improving software quality by detecting errors, or guaranteeing their absence.
This project will develop temporal logics and automata models geared towards this problem.
Software Verification aims at improving software quality by detecting errors, or guaranteeing their absence.
This project will develop temporal logics and automata models geared towards this problem.
| Acronym | VLPL |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/11 → 1/01/13 |
Keywords
- software verification
- automata
- software product lines
- model checking
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
A methodology for formal analysis and verification of EAST-ADL models
Kang, E.-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In: Reliability Engineering and System Safety. 120, p. 127-138 12 p.Research output: Contribution to journal › Article › peer-review
-
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
Classen, A., Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A. & Raskin, J.-F., 1 Jan 2013, In: IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.Research output: Contribution to journal › Article › peer-review
-
Model checking adaptive software with featured transition systems
Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi , C. & Lopes , A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol. 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
Open AccessFile257 Downloads (Pure)