2019-03-28 TLA+と形式手法 TLA+ Introduction まずは一回目のVideo講座。TLA+の目的や形式手法、擬似コード等基本的な内容について触れている。 会社のブログで書いたのでそのまま転記しとく。 dev.classmethod.jp