Reasoning about VDM Developments using the VDM Support Tool in MURAL
暂无分享,去创建一个
[1] Michael Z. Spivey,et al. The Z notation , 1989 .
[2] Brian Q. Monahan. A Type Model for VDM , 1987, VDM Europe.
[3] Robert Milne. Proof Rules for VDM Statements , 1988, VDM Europe.
[4] Jean-Raymond Abrial,et al. The B Tool (Abstract) , 1988, VDM Europe.
[5] Cliff B. Jones,et al. VDM Proof Obligations and their Justification , 1987, VDM Europe.
[6] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[7] Jean Alain Ah-Kee. Operation decomposition proof obligations for blocks and procedures , 1989 .
[8] Cliff B. Jones,et al. Program specification and verification in VDM , 1987 .
[9] R. J. Crispin. Experience Using VDM in STC , 1987, VDM Europe.