Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource]Karputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanIEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA2011 / p. 83 : ill. [CD-ROM] http://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6113980