#形式化方法

文章3

形式化方法入门

Uncategorized•2 min read•2024-02-15

形式化方法入门

介绍形式化方法的基本概念和应用场景。

形式化方法程序验证学术

形式化规约语言

Uncategorized•1 min read•2024-01-10

形式化规约语言

介绍几种常用的形式化规约语言，包括 Z notation、TLA+ 和 Alloy。

形式化方法规约

形式化方法概述

Uncategorized•1 min read•2024-01-05

形式化方法概述

形式化方法是指用数学方法来描述、分析和验证计算机系统的技术。

形式化方法入门