Abstract: Formal methods tools are typically developed and used in UNIX/Linux system,and the difficulties in the use of the tools prevent the formal methods from being more popularized. A method of research and design the Web-based formal methods tool for RAISE is

Key words: Formal Methods,Formal methods tool,RAISE,Web-based tool,Web information system