#DATE2024 - presentation by Caroline Dominik showing that #PolynomialFormalVerification can be carried out not only for #combinational but also for #sequential circuits
agra.informatik.uni-bremen.de/doc/konf/DAT...
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #PolyVer #dateconf