Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.

Bruno Blanchet Patrick Cousot Radhia Cousot Jérôme Feret Laurent Mauborgne Antoine Miné David Monniaux Xavier Rival Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. 85-108 2002 conf/birthday/2002jones The Essence of Computation http://link.springer.de/link/service/series/0558/bibs/2566/25660085.htm db/conf/birthday/jones2002.html#BlanchetCCFMMMR02