A Novel Approach in Proving Unreachable Paths in Hardware-dependent Software Author(s): Bryan Olmos, Wolfgang Kunz, Djones Lettnin Download