https://twitter.com/kinaba のログ (twilog の方が便利です。)
| #etaps2014 TACAS2件目:FAAが次期採用予定の飛行機の衝突回避指示システムのデザインと形式的解析。いつどう指示を出す実装、てのを元にパイロットの動き等を変数にモデル化、確率的時相論理(PCTL)で「こんなシチュエーションはいやだ」を論理式で書くと発生確率が出たり | |
| #etaps2014 TACAS3件目: Luretteというリアクティブシステムのテスト書くためのフレームワークのケーススタディ（すごいカタカナ文章になってしまった）というお話だった。特に目新しい結論には感じなかった | |
| #etaps2014 というわけで本会議はこれにて終了です。実況もこれで終了です。みなさまさようなら | |
| まとめを更新しました。「ETAPS 2014」 http://togetter.com/li/652635 |