問題タブ [post-conditions]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
54 問題
0
投票する
1
に答える
53
参照
proof - frama-cでアサートステートメントを証明するための正しい前提条件を与える方法は?
Frama-cツールを使用して検証するために、cでいくつかの基本的なプログラムに取り組んできました.プログラムでアサーションが証明されていない理由を知りたいと思っていました.よろしくお願いします.
アサーション ステートメントを除いて、スケジュールされたすべてのゴールが正常に証明されました。
上記のアサーションのタイムアウトでした。関数コントラクトを変更する必要がありますか?