A Novel Approach in Proving Unreachable Paths in Hardware-dependent Software

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