klipto / Uncertainty
Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations.
☆33Updated 8 years ago
Alternatives and similar repositories for Uncertainty:
Users that are interested in Uncertainty are comparing it to the libraries listed below
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Updated 8 years ago
- T2 Temporal Prover☆94Updated 7 years ago
- Automata and transducer library for .NET☆80Updated 4 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 9 months ago
- Kodkod solver for relational logic☆74Updated last year
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆244Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆229Updated 4 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆60Updated 9 years ago
- ☆55Updated last year
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- VATA Tree Automata Library☆32Updated 7 months ago
- Shaking expression trees until something tasty pops out☆16Updated 6 years ago
- Sample implementations using Naiad☆38Updated 10 years ago
- WASM builds of the Z3 SMT solver☆142Updated 5 years ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 4 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 8 months ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- ☆9Updated 7 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆91Updated last week
- Savina is an Actor Benchmark Suite.☆36Updated 4 years ago
- A static verifier for concurrent C programs☆135Updated 4 years ago
- solver for the reachability modulo theories problem☆60Updated last year
- A concurency testing tool☆57Updated 6 years ago
- ScalableJoins☆16Updated 9 years ago