CorSS (Composition et raffinement de systèmes sûrs) is a project between research groups in the areas of computer systems and formal methods. The aim is to study methods and tools for the develoment of system services that are guaranteed to satisfy safety, security, and liveness properties, with an emphasis on refinement of components written in domain-specific languages.

Contact: Dominique Méry

Duration: 3 years, starting July 2003

Support: ACI SI (Action concertée initiative Sécurité informatique), a French consortium of projects in computer security


Project page: detailed information