A static analyzer for large safety-critical software

Bruno Blanchet, Laurent Mauborgne, Patrick Cousot, Antoine Miné, Radhia Cousot, David Monniaux, Jérôme Feret, Xavier Rival

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

Fingerprint

Dive into the research topics of 'A static analyzer for large safety-critical software'. Together they form a unique fingerprint.

Computer Science

Keyphrases