Lib.rs

› 关键字 #模拟 #演员 #帕克索斯 #raft #分布式系统 #RTL #SMT #btor

#模型检查

  1. stateright

    用于实现分布式系统的模型检查器

    v0.30.2 307K #actor #actor-system #paxos #raft #raft-consensus #simulation #model-checking

  2. kani-verifier

    针对Rust的位精确模型检查器

    v0.54.0 2.1K #verification #memory-safety #model #model-checking #unsafe #kani #verifier

  3. biodivine-hctl-model-checker

    部分定义布尔网络上的符号HCTL模型检查

    v0.3.0 #symbolic #hctl #model-checking #systems-biology #boolean-network #behavior

  4. libpatron

    硬件故障查找工具包

    v0.17.3 3.3K #bit-vector #smt #rtl #model-checking #btor

  5. patronus

    硬件故障查找工具包

    v0.18.2 280 #smt #bit-vector #rtl #btor #model-checking

  6. fibril

    使用通信纤维实现分布式系统

    v0.0.8 #distributed-systems #raft #paxos #actor #simulation #model-checking

  7. fibril_verifier

    验证使用Fibril库实现的分布式系统的行为

    v0.0.12 #distributed-systems #paxos #raft #actor #simulation #model-checking

  8. anysystem

    用于分布式系统确定性模拟和测试的框架

    v0.1.0 170 #distributed-systems #testing #simulation #message-passing #networking #model-checking #execution-time

  9. cudd

    Cudd Rust库

    v0.1.4 #bdd #logic #model-checking #formal-method

    10. 尝试使用DuckDuckGo进行搜索。搜索.

  10. aig

    Rust Aig库

    v0.1.0 #logic #model-checking #formal-method

  11. fibril_core

    Fibril库的核心类型

    v0.0.7 #paxos #raft #actor #simulation #model-checking

  12. model

    数据结构的基于模型的测试，具有线性化检查

    v0.1.2 下载量160 #testing #deterministic #model-checking #simulation

  13. 一致性模型

    用于分布式系统一致性属性（如线性化和顺序一致性）的测试器

    v0.0.0 #raft #paxos #actor #simulation #model-checking #distributed-systems