Formalizing a Specification for Analysis: The HLA Ownership Properties
暂无分享,去创建一个
James Ivers | Robert J. Allen | Ralph E. Melton | Elizabeth Bigelow | Ralph Melton | Craig A. Damon | R. Allen | C. Damon | James Ivers | Elizabeth Bigelow
[1] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[2] Daniel Jackson,et al. A Nitpick Analysis of Mobile IPv6 , 1999, Formal Aspects of Computing.
[3] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[4] David Garlan,et al. Formal modeling and analysis of the HLA component integration standard , 1998, SIGSOFT '98/FSE-6.
[5] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[6] Daniel Jackson,et al. Elements of style: analyzing a software design feature with a counterexample detector , 1996, ISSTA '96.