Pinned Loading
Repositories
- tlaplus18 Public Forked from tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
wirelesssecuritylab/tlaplus18’s past year of commit activity - AI-SCDF Public
wirelesssecuritylab/AI-SCDF’s past year of commit activity - ccbr Public
CCBR is a policy management system project. It uses the policy language Rego to implement the CIS benchmark test of cloud native kubernetes. In addition, it integrates gatekeeper, manages its constraint templates, constraints and policies, and supports policy deployment and audit inspection.
wirelesssecuritylab/ccbr’s past year of commit activity - ZookeeperTraceVerification Public
本仓库为使用Trace运行态模型实现对Zookeeper集群中数据一致性、状态一致性以及其选举阶段、数据同步阶段、广播阶段 需要满足的属性进行形式化验证
wirelesssecuritylab/ZookeeperTraceVerification’s past year of commit activity - code-shooting Public
代码打靶是一项高效的代码能力提升活动，可以带动打靶人员 Code Review 能力和编码能力的腾飞。代码打靶主要包括规范、内容和工具，规范实例化是代码缺陷规范，内容实例化是靶子和靶场，工具实例化是打靶服务。
wirelesssecuritylab/code-shooting’s past year of commit activity - testing-distributed-systems Public Forked from asatarin/testing-distributed-systems
Curated list of resources on testing distributed systems
wirelesssecuritylab/testing-distributed-systems’s past year of commit activity - SDP_Verification Public Forked from 10227694/SDP_Verification
This project is about the TLA+ Spec of SDP architecture and algorithm written by Luming Dong and Zhi niu based on the open source project fwknop.
wirelesssecuritylab/SDP_Verification’s past year of commit activity - Examples Public Forked from tlaplus/Examples
A collection of TLA+ specifications of varying complexities
wirelesssecuritylab/Examples’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…