Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra

@inproceedings{pub17664,
    author = {



Weingarten, Lennart
 and 



Datta, Kamalika
 and 



Drechsler, Rolf
},
    title = {Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra},
    booktitle = {Forum on specification & Design Languages (FDL). 

Forum on Specification & Design Languages (FDL), September 9-11, Rom, Italy
},
    year = {2026}
}