Muller: Bi-Abduction PLDI (později v Únoru) - hardcore

L. Charvát: HW Verification Tools - overview