vdm-sl

0熱度

1回答

是否有任何VDM-SL工具箱教程

我正在嘗試使用VDM-SL工具箱，但找不到任何教程。如果有人有任何教程，請分享。謝謝

formal-languages vdm-sl 2016-10-14

---

1熱度

1回答

功能和產品類型特殊性

是什麼類型的 (seq of nat * seq of nat) -> nat 和 seq of nat * seq of nat -> nat 之間的差額按照語言參考手冊*的優先級高於->所以括號沒有任何效果;在語義上是相同的。但考慮到函數定義 length: (seq of nat * seq of nat) -> nat length (mk_(l,m)) == len l + l

vdm-sl 2017-06-23

---

0熱度

1回答

VDM中的遞歸函數

如何定義遞歸函數來查找VDM中小於輸入數的兩個最大冪？ 的功能如下： 最大：N - >ñ 所有到目前爲止，我所得到的是： 最大（N）= 如果n = 1然後0 否則如果n = 2，則1 否則......最大的（...）

formal-methods vdm++ vdm-sl 2017-05-27

---