Verification Competition 2011 -- The Practical Application of Formal Methods: Where Is