プログラムの自動検証
スポンサーリンク
概要
著者
関連論文
- プログラムにおける実時間問題のν-転換による解析と動作条件
- 時間の論理の束モデルを用いた並行プログラム系の検証
- ランデブーを含むvirtual textによる自動伴奏システムの表現とその検証
- 軌跡準同型によるプログラムの仕様の保存性
- プログラム言語BQLとその処理系
- フレーズの表情付けの図形的表現 : ピアノ演奏の場合
- ブリッジプレイの終盤における必勝戦術の論理的考察
- 多人数ゲームにおける枝刈りと四人将棋への応用
- プログラムの自動検証