Automating the Formal Verification of Firmware: A Novel Foundation and Scalable Methodology

Author(s):
Bryan Olmos, Sanjana Sainath, Wolfgang Kunz, Djones Lettnin