Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter. (2002)

by Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jerome Feret , Laurent Mauborgne , Antoine Mine , David Monniaux & Xavier Rival , David Monniaux
Citations:91 - 30 self