Formal Methods and Automated Reasoning