Mehran Alidoost Nia Formal Method in Software Engineering University of Guilan Department of Computer Engineering April & May 2013