홈 항목 library logo 글 내
자세히

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

摘要

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

阅读原文
xiaozi 于 2021-10-22 分享
3444 海报分享
关联话题： #阿里巴巴

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

评论

홈 - 위키
Copyright © 2011-2025 iteam. Current version is 2.142.1. UTC+08:00, 2025-03-13 03:08
浙ICP备14020137号-1 $방문자$