中文

Journal of Applied Sciences ›› 1999, Vol. 17 ›› Issue (4): 450-456.

• Articles • Previous Articles     Next Articles

Design and Implementation of a Syntax-driven Z Specification Checker

LIGANG1,2, MIAO HUAIKOU1, TONG FU1   

  1. 1. Shanghai University, Shanghai 201800;
    2. Institute of Software, Chinese Academy of Sciences, Beijing 100080
  • Received:1998-06-12 Revised:1998-09-21 Online:1999-12-31 Published:1999-12-31

PDF

88

Abstract: Z specification language is an active domain in the field of formal methods. As the front-end of any Z supporting system,Z specification checker can support other subsystems,such as refining subsystem,and specification-based software testing subsystem.By the integration of top-down parsing and bottom-up parsing,a syntax-driven Z specification checker has been implemented.This paper gives a description of the principle and implementation of this tool.

Key words: Z language, syntax-driven, type check, formal methods