Automating the Formal Verification of Firmware: A Novel Foundation and Scalable Methodology Author(s): Bryan Olmos, Sanjana Sainath, Wolfgang Kunz, Djones Lettnin Download