実装して学ぶ Symbolic Backward Execution

実装して学ぶ Symbolic Backward Execution

2019/01/20 情報科学若手の会冬の陣2019 #wakate2019w

シンボリック実行のマイナーなアルゴリズムSBEをPythonで実装して得た知見を共有します。今回のSBEエンジンは最弱事前条件に基づいて計算します。

09cdb8323ed1eecee2f93d1f078143ca?s=128

友利奈緒(@K_atc)

January 20, 2019
Tweet