lijwen2748 / aaltaf

Related projects: ⓘ

• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆29Updated this week
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆13Updated 9 years ago
• seahorn / verify-c-common
  ☆15Updated 3 months ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆34Updated this week
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆20Updated last year
• WaliDev / WALi-OpenNWA
  Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
  ☆18Updated 5 years ago
• tpchina / tpchina.github.io
  ☆15Updated last year
• martinjonas / Q3B
  ☆24Updated 3 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated last month
• havelund / dejavu
  The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
  ☆18Updated 6 months ago
• lijwen2748 / simplecar
  ☆14Updated last year
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated 9 months ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆20Updated 5 years ago
• aman-goel / ic3po
  IC3PO: IC3 for Proving Protocol Properties
  ☆25Updated last week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆49Updated 4 months ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆24Updated 10 months ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• Kraks / sai
  Staged Abstract Interpreters
  ☆64Updated last year
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆16Updated 10 months ago
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆14Updated 2 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆11Updated 3 weeks ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆19Updated 2 years ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆21Updated 2 years ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• thufv / Deagle
  ☆15Updated 5 months ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆41Updated 11 months ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago