Daniel Grosse · @Daniel_Grosse
10 followers · 17 posts · Server fosstodon.org
Daniel Grosse · @Daniel_Grosse
9 followers · 13 posts · Server fosstodon.org
Daniel Grosse · @Daniel_Grosse
9 followers · 12 posts · Server fosstodon.org

Today at Alexander Konrad from U Freiburg presents our joint work on โ€ž Using Symbolic Computer Algebra and Delayed Donโ€™t Care Optimizationโ€œ

๐Ÿ‘‰ ics.jku.at/files/2023MBMV_Divi

#mbmv2023 #divider #verification

Last updated 2 years ago

Daniel Grosse · @Daniel_Grosse
2 followers · 5 posts · Server fosstodon.org

Workshop extended deadline: Feb. 3, 2023.

MBMV will take place at U Freiburg from March 23 to March 24, 2023. We have 3 submission categories.
More: ๐Ÿ‘‰ cca.informatik.uni-freiburg.de

#mbmv2023 #verification #modeling #circuits #systems #languages

Last updated 2 years ago

Daniel Grosse · @Daniel_Grosse
2 followers · 5 posts · Server fosstodon.org

Workshop extended deadline: Feb. 3, 2023. MBMV will take place at U Freiburg from March 23 to March 24, 2023. We have 3 submission categories. More: ๐Ÿ‘‰ cca.informatik.uni-freiburg.de/mbmv23

#mbmv2023 #verification #modeling #circuits #systems #languages

Last updated 2 years ago