Alternatives and similar repositories for Uncertainty:

Users that are interested in Uncertainty are comparing it to the libraries listed below

• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆80Updated 4 years ago
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆17Updated 8 years ago
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆245Updated last year
• mmjb / T2
  T2 Temporal Prover
  ☆94Updated 7 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• MicrosoftResearch / NaiadSamples
  Sample implementations using Naiad
  ☆38Updated 10 years ago
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆17Updated 10 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• microsoft / ivy
  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
• JoinPatterns / ScalableJoins
  ScalableJoins
  ☆16Updated 9 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆135Updated 4 years ago
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆54Updated last year
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆142Updated 2 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• mangpo / greenthumb
  ☆88Updated 2 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆16Updated 6 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 8 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last month
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆30Updated 5 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆29Updated 4 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆142Updated 2 months ago