Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

Q (masterq@pawoo.net)'s status on Friday, 01-Feb-2019 18:07:28 JST Q

またTLA+でモデル検証されたRTOSのレポートを読んだので発表する予定です。
"OpenComRTOSというRTOSはTLA+とUPPAALという2つのツールによって設計されています。TLA+はモデル検査に、UPPAALは性能モデル検証に用いられています。Formal Development of a Network-Centric RTOSというレポートを読みながらモデル検査のRTOSへの適用事例と発表者の感想を共有します。"
https://metasepi.connpass.com/event/104949/
In conversation Friday, 01-Feb-2019 18:07:28 JST from pawoo.net permalink
Attachments
1. Domain not in remote thumbnail source whitelist: connpass-tokyo.s3.amazonaws.com
  
  (会場変更しました) #静的コード解析の会第9回 (2019/02/09 12:45〜)
  
  from connpass
  
  # 静的コード解析とこの勉強会について静的コード解析をご存知でしょうか。静的コード解析とは、コンピュータのソフトウェアの解析手法の一種で、ソフトウェアを実行することなく解析を行うことです。このような手法には以下のように様々な実装があります: * ATS, B-Method, CBMC, Coq, Coverity Scan, CSP, Dafny, F*, Frama-C, FreeSafeTy, Infer, Isabelle, SATABS, SPARK, Spin, SyncStitch, Uppaal, VDM, VeriFast, Why3, boogie, cog...
- Masanori Ogino ???? repeated this.

Feeds