Accéder directement au contenu

Khalil Ghorbal

1
Documents

Présentation

I am currently a researcher at [INRIA](https://www.inria.fr/en/) (Rennes, France), in the [Hycomes](https://team.inria.fr/hycomes/) group. My research focuses on advancing and promoting the use of `formal methods` to design and analyze industrial-scale complex systems.

Publications

xavier-rival
Image document

Space Software Validation using Abstract Interpretation

Olivier Bouissou , Eric Conquet , Patrick Cousot , Radhia Cousot , Jérôme Feret
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
Communication dans un congrès inria-00528590v1