Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications.
Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler
VenueCMODELSWARD
Year2020
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/BornebuschLWD20a ↗
Browse the full MODELSWARD paper archive.