問題タブ [symbolic-execution]

質問する

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.

28 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
2 に答える
3125 参照

validation - 実装における静的解析とシンボリック実行

静的解析の実装とシンボリック実行の違いは何ですか?

0 投票する
2 に答える
1596 参照

validation - シンボリック実行とモデルチェック

シンボリック実行とモデル チェック (モデル変換など) の違いは何ですか? それらの違いがわかりません。彼らは同じですか？！

0 投票する
1 に答える
221 参照

testing - モデルチェックなしでシンボリック実行を実装する

たとえば、などを使用せずにsymbolic executionforを実装するにはどうすればよいですか? それについての詳細が必要です。たとえば、このシンボリック実行を実装できる言語と、他に知っておくべきことは何ですか?particular languagemodel checkingFinite State Machine (FSM)notJava Path Finder

0 投票する
1 に答える
328 参照

validation - シンボリック実行の適用

シンボリック実行のアプリケーションは何ですか? symbolic executionのみを生成しますかpath condition? シンボリック実行を使用して検証するにはどうすればよいcontractですか?


12345678910