Formal Verification of Object-Oriented Software [electronic resource] :