Formal Verification of µ-Charts
暂无分享,去创建一个
[1] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[2] Steve Reeves,et al. mu-Charts and Z: Hows, Whys, and Wherefores , 2000, IFM.
[3] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[4] Peter Scholz,et al. A Refinement Calculus for Statecharts , 1998, FASE.
[5] Peter Scholz,et al. Compositional Specification of Embedded Systems with Statecharts , 1997, TAPSOFT.
[6] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] Peter Scholz,et al. Formal Verification of Statecharts with Instantaneous Chain Reaction , 1997, TACAS.
[9] Steve Reeves,et al. Micro-chart based specification and refinement , 2002 .