Pluggable abstract domains for analyzing embedded software.

Nathan Cooprider John Regehr Pluggable abstract domains for analyzing embedded software. 44-53 2006 conf/lctrts/2006 LCTES http://doi.acm.org/10.1145/1134650.1134658 db/conf/lctrts/lctes2006.html#CoopriderR06