Formal Methods in Software Engineering Course