klipto / UncertaintyLinks
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
Sorting:
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Updated 8 years ago
- Kodkod solver for relational logic☆75Updated last year
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Automata and transducer library for .NET☆83Updated 4 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- ☆55Updated last month
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆144Updated 3 months ago
- The MSR Ironclad project builds provably secure and reliable systems.☆248Updated 2 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Savina is an Actor Benchmark Suite.☆36Updated 4 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Sample implementations using Naiad☆39Updated 10 years ago
- A static verifier for concurrent C programs☆135Updated 4 years ago
- The implementation of the Elevate language☆29Updated 2 months ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Unison's source code☆107Updated last year
- PC-miner tool for program chairs☆27Updated 2 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆23Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- ☆88Updated 2 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…☆231Updated 4 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- VATA Tree Automata Library☆32Updated 9 months ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆124Updated 2 years ago