Integer Overflow Detection in Hardware Designs at the Specification Level

@inproceedings{pub10756,
    author = {

Bornebusch, Fritjof
 and 

Lüth, Christoph
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Integer Overflow Detection in Hardware Designs at the Specification Level},
    booktitle = {8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020), February 25-27, Valetta, Malta},
    year = {2020}
}