Skip to main content
博客
随笔
书籍
文学
电影
研究
关于
Toggle theme
← 标签
#
规约
文章
1
形式化规约语言
Uncategorized
2024-01-10
1 min read
形式化规约语言
介绍几种常用的形式化规约语言，包括 Z notation、TLA+ 和 Alloy。
#形式化方法
#规约