Formal Verification of Object-Oriented Software | DealShopping Deutschland