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.
Dr. Toni Jussila | Phone: +49 89 99013-417
OneSpin Solutions GmbH | Fax: +49 89 99013-100
Nymphenburgerstr. 20a |
80335 Muenchen | toni.j...@onespin-solutions.com
Geschaeftsfuehrung: Dr. Raik Brinkmann, Oliver Habeck
Vorsitzender des Beirats: Paul Hill
Sitz: Muenchen; Amtsgericht Muenchen HRB 139464
UstID#: DE 814413215