4 0 0 0 OA 車載システム開発における形式手法実践の現状と課題
- 著者
- 青木 利晃
- 出版者
- 一般社団法人 システム制御情報学会
- 雑誌
- システム/制御/情報 (ISSN:09161600)
- 巻号頁・発行日
- vol.62, no.4, pp.134-140, 2018-04-15 (Released:2018-10-15)
- 参考文献数
- 56
言及状況
外部データベース (DOI)
Twitter (4 users, 4 posts, 3 favorites)
@tos_kamiya 車載ソフトとかだと MATLAB/Simulink あたり使ってるのでしょうかね。一応 Simulink にも形式検査ツールはあるみたいですけど、Coq みたいなやつではなさそう。
https://t.co/2G6rBWrDHX
https://t.co/epBVWZEoT6
オートマトンで最適スケジュールを進めてく感じなんだ(わかってない)