Formal Specification and Verification of the Internet Logged System Based on Z Language
Shiyu Yan · Journal of University of South China · 2009
Z language is a model-based specification language based on set theory and first-order predicate logic.It can be used to precisely express requirement specifications.This paper formulated the requirements of software with Z language on main module of the Intermet Logged system,then verified it in form.The results show that the specification can meet the users'requirements,advance the reliability and stability of the system.