Title: Formal Methods : Foundations and Applications