vdm-sl

0熱

1答えて

私はVDM-SL Toolboxで作業しようとしていますが、チュートリアルは見つかりません。誰かがチュートリアルを持っている場合は、共有してください。 http://fmvdm.org/doc/index.html しかし、私はあなたにも序曲ツールを検討推薦する：そこここに利用できるいくつかの情報があります

1熱

1答えて

機能および製品タイプ特異性

どのような種類の (seq of nat * seq of nat) -> nat と seq of nat * seq of nat -> nat との差が、言語リファレンスによるとマニュアル*であることは括弧は効果がありませんので、->よりも優先順位が高いです。意味的に同じです。しかし、関数定義に length: (seq of nat * seq of nat) -> nat le

0熱

1答えて

VDMでの再帰関数

VDMで入力数より2の最大の累乗を見つけるために再帰関数を定義するにはどうすればよいですか？次のように機能は次のとおりです。最大：N - > N 私がこれまで持っているすべてがある： 1 = Nの場合= （n）を最大0 else if n = 2 then 1 else ...最大（...）