PROJECT SUMMARY:
VASCO team's research is included in the field of software engineering and applied formal methods. We are convinced that software engineering tools must be based on models. Our primary concern is validation, which applies to both software and models.
This research is related to the "Security, safety, reliability", "Embedded Systems", "Intelligent building" challenges of LIG scientific programme and the PILSI project. It contributes to the "Sustainable ambiant computing" project of the LIG by its contributions to safety, security and software quality.
KEYWORDS:
- Software and Information System Engineering
- Software
- Software engineering , Specification and validation, Verification - Proof - Testing, Safety and quality of software, Security
Site web du LIG