Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

@inproceedings{pub11456,
    author = {

Bornebusch, Fritjof
 and 

Lüth, Christoph
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    editor = {

Hammoudi, Slimane
 and 

Pires, Luís Ferreira
 and 

Selić, Bran
},
    title = {Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications},
    booktitle = {8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020), February 25-27, Valletta, Malta},
    year = {2021},
    publisher = {Springer}
}