Grant: Canada Research Chairs
Université du Québec à Chicoutimi
$100,000.00
Software Specification, Testing and Verification
EF 2024-25
Résumé
Recent news are rife with headlines on incidents involving software malfunctions, with consequences ranging from the merely annoying to the dramatic. This has created a context of increased pressure for more correct software, and a growing demand for tools and techniques that may help software developers reach this goal. This research chair shall contribute to the development of reliable software systems by concentrating on their specification, testing and verification. This goal will be reached by the study and development of expressive specification languages and the production of useful and testing and verification theories and automated software tools.
Programme
Canada Research Chairs
Bénéficiaire
Emplacement
Quebec, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
CRC-2020-00308
Name nom
Hallé, Sylvain
Department département
Computer Science and Mathematics - Université du Québec à Chicoutimi
Organization id
52
Institution établissement
Université du Québec à Chicoutimi
Province en
Québec
Province fr
Québec
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2024
Competition year année de concours
2020
Award amount
100000
Program id
CRC
Program name en
Canada Research Chairs
Program name fr
Chaires de recherche du Canada
Group en
DISCOVERY RESEARCH
Group fr
RECHERCHE AXÉE SUR LA DÉCOUVERTE
Committee code
9998
Committee name en
Canada Research Chair Selection Committee
Committee name fr
Comité de sélection des Chaires de recherche du Canada
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
9999
Research subject group en
Not available
Research subject group fr
Non disponible
Research subject en
Not available
Research subject fr
Non disponible
Field of research list names en
Not available
Field of research list names fr
Non disponible
Socioeconomic objective list names en
Not available
Socioeconomic objective list names fr
Non disponible
Application title
Software Specification, Testing and Verification
Keywords
software verification; testing; software specification; bug finding
Application summary
Recent news are rife with headlines on incidents involving software malfunctions, with consequences ranging from the merely annoying to the dramatic. This has created a context of increased pressure for more correct software, and a growing demand for tools and techniques that may help software developers reach this goal. This research chair shall contribute to the development of reliable software systems by concentrating on their specification, testing and verification. This goal will be reached by the study and development of expressive specification languages and the production of useful and testing and verification theories and automated software tools.
