|
 Topic 7 - Safety of Software Development
Head : Mamoun Filali
Purpose
In the domain of assistance to software development, the aim of our research is to lower the costs and the delays of critical software validation through the use of formal methods.
Three areas are explored:
type theory, applied in particular to specification languages, proof development, and validation by proof and verification,
the development aids of reactive systems, composite or concurrent, distributed and mobile. Research focuses on development methods, dedicated languages, hybrid (...)
Read more
 Sub-sections :
|
Home
