形式手法の事例 - mrsekut-p

形式手法の事例

from 形式手法

形式手法の分類 - 応用事例DB

モデル検査と形式仕様記述の事例が載ってる

Compilerの仕様の検証

https://cakeml.org/

入力言語と、出力言語の各意味を数式で表現することで、

任意の入力に対して、出力が同じものを表すことを示すことができる

OS

協働ロボットCORO

協働ロボットCOROの開発における形式的仕様記述KMLの開発と適用 | PPT

独自にKMLという形式仕様記述言語を作ってCOROの検証をしたらしい

https://speakerdeck.com/ytaka23/builderscon-tokyo-2019

分散システムの検証

自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み

自動テストの代わりに形式手法を使う

https://masateruk.hatenablog.com/entry/2018/10/23/094048

AWSで使われている