Fm 2006, Formal Methods by