形式手法の事例リンク集

Info

順次, 書き足していく

企業が活用した事例が載ってるポータルサイト

http://formal.mri.co.jp

AWSの事例

• https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
• https://www.infoq.com/presentations/aws-testing-tla/

オンラインゲーム開発での事例

トランザクションなしでもアプリの実装が問題ないかを検証

Alloy の雰囲気がわかる

• Alloyで考えよう : テストするために仕様を理解したい

---

Posted: 2020-07-28
Last update: 2021-03-02