期刊书目 › BOOKS with Alphabet V (Va, Vb,Vc, Vd, Ve…... ) › Titlebook: VDM ‘90. VDM and Z - Formal Methods in Software Development; Third International D. Bjørner,C. A. R. Hoare,H. Langmaack Conference proceed

capsaicin 发表于 2025-4-1 05:05:43

Correctness in the small, and a theorem prover; it is specified using VDM (as described in ) and implemented in Prolog. This paper shows how VDM was used as a natural specification tool and contains in appendices some key functions in VDM and their translation into Prolog.

MOT 发表于 2025-4-1 06:31:14

http://reply.papertrans.cn/99/9801/980039/980039_62.png

曲解 发表于 2025-4-1 13:02:16

http://reply.papertrans.cn/99/9801/980039/980039_63.png

遗传 发表于 2025-4-1 14:49:06

http://reply.papertrans.cn/99/9801/980039/980039_64.png

查看完整版本: Titlebook: VDM ‘90. VDM and Z - Formal Methods in Software Development; Third International D. Bjørner,C. A. R. Hoare,H. Langmaack Conference proceed