Author:Bryan Daniel Olmos Suquillo

Publications
Verifying Non-Friendly Formal Verification Designs: Can We Start Earlier? Bryan Olmos, Daniel Gerl, Aman Kumar and Djones Lettnin EasyChair Preprint 14786
A Novel Approach in Proving Unreachable Paths in Hardware-Dependent Software Bryan Daniel Olmos Suquillo, Wolfgang Kunz and Djones Lettnin EasyChair Preprint 14768