形式化验证工具 TLA+:程序员视角的入门之道

摘要

本文从程序员视角介绍形式化验证工具TLA+。​

欢迎在评论区写下你对这篇文章的看法。

评论

Главная - Вики-сайт
Copyright © 2011-2026 iteam. Current version is 2.148.4. UTC+08:00, 2026-01-26 15:30
浙ICP备14020137号-1 $Гость$