文件名称：pyVDMC:使用公共私有 VDMPad 服务器的 VDM-SL 执行库
文件大小：9KB
文件格式：ZIP
更新时间：2024-06-20 14:04:00
python form vdm formal-methods vdm-sl
pyVDMC pyVDMC 是一个 VDMPad 客户端库，用于为 VDM-SL 规范设置动画。 VDMC 对象 >>> from pyVDMC import VDMC >>> vdm = VDMC() >>> vdm("1+2") u'3' 或有规范， >>> from pyVDMC import VDMC >>> fib = VDMC(""" /* fibonacci generator */ state State of n1 : nat n2 : nat init s == s = mk_State(0, 1) end operations next : () ==> nat next() == (dcl n : nat := n1 + n2; n1 := n2; n2 := n; re
【文件预览】：
pyVDMC-master
----setup.py(311B)
----LICENSE(1KB)
----examples()
--------fibonacci.py(898B)
----README.md(3KB)
----pyVDMC()
--------VDMC.py(3KB)
--------Reader.py(12KB)
--------__init__.py(1002B)
--------Writer.py(2KB)
--------VDMValue.py(5KB)