School of Computer ScienceG53FSP Formal Specification1 Dr. Rong Qu Introduction to Formal Specification rxq/g53fsp.