- 综合排序
- 最热优先
- 最新优先
- 来自专栏爱写Bug
Python Weekly 426
tlaplus_jupyter 链接: https://github.com/kelvich/tlaplus_jupyter 可用于 TLA⁺ 和 Pluscal 规范式语言的 Jupyter 内核。
2.1K30发布于 2019-12-18 - 来自专栏腾讯高校合作
2021腾讯犀牛鸟精英科研人才培养计划课题（十&十一&十二）——智慧城市&数据库&信息安全技术
课题11.3：分布式数据库核心算法的形式化验证（地点：深圳/北京） 使用形式化模型工具(TLA+、PlusCal等)，为分布式数据库的核心算法进行建模，验证其正确性以及可靠性。
1.3K20发布于 2021-01-04
时间不限
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号