Formal Analysis Definition