A framework for verifying functional correctness in Odin II. - Joseph C. Libby; Ashley Furrow; Paddy O'Brien; Kenneth B. Kent (FPT, 2011)