Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.
Bruno BlanchetPatrick CousotRadhia CousotJérôme FeretLaurent MauborgneAntoine MinéDavid MonniauxXavier RivalPublished in: The Essence of Computation (2002)