文件名称：Zen:在 .NET 中简化构建验证工具的库
文件大小：194KB
文件格式：ZIP
更新时间：2024-06-18 18:53:13
verification constraint zen solving C#
介绍
Zen 是一个研究库和验证工具箱，允许创建功能模型。 Zen 库有许多用于处理这些模型的内置工具，包括编译器、模型检查器和测试输入生成器。
安装
只需将项目添加到Visual Studio解决方案即可。 一个 nuget 包。
入门
此页面对 Zen 中的功能进行了高级概述。 要查看更详细的文档，请查看页面。
要导入 Zen 库，请将以下几行添加到您的源文件中：
using ZenLib ;
using static ZenLib . Language ;
Zen 提供的主要抽象是通过Zen