Deriving abstract transfer functions for analyzing embedded software
John Regehr, Usit Duongsaa[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Language, Compilers, and Tool Support for Embedded Systems
LCTES '06
Ottawa, Ontario, Canada
ACM
New York, NY, USA
Pages 34-43
2006
Note(s): abstract interpretation, ISA specification, BDD
LCTES '06
Ottawa, Ontario, Canada
ACM
New York, NY, USA
Pages 34-43
2006
Note(s): abstract interpretation, ISA specification, BDD