Research and Design of a Web-based Formal Methods Tool:RRTChecker
基于Web的形式化方法工具RRTChecker的研究与设计

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 proposed in this paper.Through the adopting of the shell pipeline interception technique,ASP,ActiveX DLL and pathname rewriting technique,the RRTChecker(RAISE Remote Type Checker) is designed as an internet application to support the usage of RAISE tools dev...