GaloisInc / blt

Related projects: ⓘ

• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆48Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆52Updated 6 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 7 months ago
• ths-rwth / smtrat
  ☆52Updated 3 weeks ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆49Updated last month
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆33Updated last year
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆69Updated 3 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆93Updated 6 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆47Updated 4 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆40Updated 6 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 7 years ago
• s-falke / llvm2kittel
  llvm2KITTeL
  ☆19Updated 7 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆14Updated 2 months ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 8 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated 3 weeks ago
• martinjonas / Q3B
  ☆24Updated 3 months ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆31Updated 6 years ago
• micro-policies / micro-policies-coq
  Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
  ☆19Updated 4 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆46Updated 2 months ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆20Updated 4 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆74Updated this week
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆19Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• caballa / crab
  ☆11Updated this week
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆24Updated 2 months ago
• GaloisInc / saw-core
  The SAW core language.
  ☆53Updated 3 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆16Updated 3 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 5 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆24Updated 4 months ago