A Review of Some Rigorous Software Design and Analysis Tools
Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou · Software Focus · 2001
Abstract The increasing maturity of formal methods cannot be attributed to only the formal notations and methodologies that are accessible to system designers. The development of powerful software tools that apply and facilitate the use of these notations and methodologies effectively has been crucial. In this paper, FREDERICK SHELDON, GAOYAN XIE, OREST PILSKALNS and ZHIHE ZHOU survey some well‐known software tools that have been deployed and used by both academic and industrial sections for rigorous design and analysis. The software tools are categorized by both the notations and methodologies, upon which they are based. We mainly discuss the tools' underlying formal methods, achievements and scope of applicability. We finish with the future trend of the development of such software tools. Copyright © 2002 John Wiley & Sons, Ltd.