Pinned Loading

1. wirelesssecuritylab/ccbr wirelesssecuritylab/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 const…

   JavaScript 37 4

2. wirelesssecuritylab/Examples wirelesssecuritylab/Examples Public

   Forked from tlaplus/Examples

   A collection of TLA specifications of varying complexities

   TLA

3. tlaplus/tlaplus tlaplus/tlaplus Public

   TLC is a model checker for specifications written in TLA . The TLA Toolbox is an IDE for TLA .

   Java 2.3k 203

4. opensecuritycontroller/community opensecuritycontroller/community Public

   Python 15 42

5. wirelesssecuritylab/ZookeeperTraceVerification wirelesssecuritylab/ZookeeperTraceVerification Public

   本仓库为使用Trace运行态模型实现对Zookeeper集群中数据一致性、状态一致性以及其选举阶段、数据同步阶段、广播阶段 需要满足的属性进行形式化验证

   Java 3 1