Nathan Cooprider, John Regehr. Pluggable abstract domains for analyzing embedded software. In Mary Jane Irwin, Koen De Bosschere, editors, Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 06), Ottawa, Ontario, Canada, June 14-16, 2006. pages 44-53, ACM, 2006. [doi]
Abstract is missing.