Space software validation using abstract interpretation

Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Eric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival, Michel Turin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Space software validation using abstract interpretation'. Together they form a unique fingerprint.

Physics & Astronomy

Earth & Environmental Sciences