Deriving abstract transfer functions for analyzing embedded software.

John Regehr Usit Duongsaa Deriving abstract transfer functions for analyzing embedded software. 34-43 2006 conf/lctrts/2006 LCTES http://doi.acm.org/10.1145/1134650.1134657 db/conf/lctrts/lctes2006.html#RegehrD06