Hello,
and thank you for organizing this event again.
Based on the IWLS'2012 paper from Brayton, Een and Mischenko it is apparent that some of the problems are sequential equivalence checking. I was wondering whether there was any additional information on this like which ones are SEC and which ones are property checking.
Best Regards,
Toni Jussila
--
Dr. Toni Jussila | Phone:
+49 89 99013-417OneSpin Solutions GmbH | Fax:
+49 89 99013-100Nymphenburgerstr. 20a |
80335 Muenchen |
toni.j...@onespin-solutions.comGeschaeftsfuehrung: Dr. Raik Brinkmann, Oliver Habeck
Vorsitzender des Beirats: Paul Hill
Sitz: Muenchen; Amtsgericht Muenchen HRB 139464
UstID#: DE 814413215