==== PraSácký myšlenky ====
  * Muller: Bi-Abduction PLDI (později v Únoru) - hardcore
  * L. Charvát: HW Verification Tools - overview