Skip to main content
English
Français
Home
Profiles
Research Units
Equipment
Projects
Research Output
Student theses
Datasets
Prizes
Activities
Press / Media
Verification of recursive, evolutive, real-time software
Schobbens, Pierre-Yves
(PI)
Kang, Eun-Young
(Researcher)
Research Center on Information Systems Engineering
University of Namur
Project
:
Research
Description
{description_courte}
Acronym
VEREV
Status
Finished
Effective start/end date
1/02/11
→
31/01/12
View all
View less
Keywords
visibly pushdown automata
feature-oriented programming
software evolution
software verification
features
real-time software
Related content
Research Output
A methodology for formal analysis and verification of EAST-ADL models
Research output
:
Contribution to journal
›
Article