#FDL2026 - Lennart Weingarten presenting our paper on "Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra" at 29th Forum on specification and Design Languages (#FDL) in #Rome www.fdl-conference.com/index.html @unibremen.bsky.social #formal #verification #SCA
