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

Author(s):
Bryan Olmos, Wolfgang Kunz, Djones Lettnin
Location:
Europe
Year:
2024
Type:
Paper
Format:
pdf