Formal Methods in Computer Science