菜單
首頁
健康
娛樂
時尚
遊戲
數碼
親子
文化
歷史
美食
星座
養生
家居
情感
科技
寵物
體育
農業
旅遊
首頁
>
標簽
> PlusCal
形式化驗證工具TLA+:程式設計師視角的入門之道
2021-10-26
TAG:
TLA
演算法
PlusCal
遍歷
Specification
這段PlusCal程式碼可以直接使用TLA+提供的工具翻譯成TLA+程式碼:圖2:單位元時鐘的TLA+描述有了上面的PlusCal的基礎,理解這一段TLA+也不難,重點在於Spec的理解...
顶部