#FDL2026 - our team from #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at 29th Forum on specification and Design Languages ( #FDL ) in #Rome fdl-conference.com/index.html

#FDL2026 - Milan Funck presenting our paper on "FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits" at 29th Forum on specification and Design Languages (#FDL) in #Rome fdl-conference.com/index.html @dfki.bsky.social #formal #verification #OpenSource

#FDL2026 - Jan Kleinekathöfer presenting our paper on "Polynomial Formal Verification of Structurally Simple Multipliers" at 29th Forum on specification and Design Languages ( #FDL ) in #Rome fdl-conference.com/index.html @unibremen.bsky.social #formal #verification #SCA #PolyVer

#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

#FDL2026 - panel on "The Virtual Prototype (VP) is Dead – Why do we invest so much effort in something that is rarely used" at 29th Forum on specification and Design Languages ( #FDL ) in #Rome www.fdl-conference.com/program.html...

#FDL2026 - Luca Müller presenting our paper on "Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs" at 29th Forum on specification and Design Languages (#FDL) in #Rome; paper available #online agra.informatik.uni-bremen.de/doc/konf/FDL... @unibremen.bsky.social #riscv

#FDL2026 - on my way to Roma www.fdl-conference.com