A.: HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems (2004)

by J Regehr, Reid
Venue:ACM SIGOPS Operating Systems Review