cvc4

There are 0 repository under cvc4 topic.

• epfl-lara / stainless

  Verification framework and tool for higher-order Scala programs

  cvc4formal-methodsinoxleonscalasmtverificationz3
  Language:HTML 347

• testsmt / yinyang

  A fuzzing framework for SMT solvers

  testingsmt-solverz3cvc4smt-libsmtfuzzing
  Language:Python 174

• nunchaku-inria / nunchaku

  Model finder for higher-order logic

  model-findingsatcvc4higher-orderlogicproof-assistantisabellehol
  Language:OCaml 41

• codersguild / Software-Analysis-PAVT

  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

  dafnyverificationdynamic-taint-analysisz3-smt-solvercvc4uclid5boogiellvmcbmcz3pysudoku-solverhoare-logicanalysisuclidfuzzinghacktoberfesthacktoberfest2021
  Language:Boogie 34

• umangm / realsyn

  Automated Controller Synthesis

  hybrid-systemscyber-physical-systemscontroller-synthesissmt-solverz3-smt-solveryicescvc4
  Language:Python 14

• muraliadithya / mini-sygus

  a constraint-based syntax-guided synthesis (SyGuS) engine

  theorem-provingcontext-free-grammarcvc4
  Language:Python 9

• CLC-UIowa / SySLite

  SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces

  sygussynthesisltl-formulaspltlmonitoringsecurity-toolssmt-liblearning-algorithmsat-solverz3cvc4
  Language:Python 6

• FMJS / EMME

  EMME: ECMAScript Memory Model Evaluator

  emcascriptjavascriptformal-methodsformal-verificationsatisfiability-modulo-theoriescvc4
  Language:Python 6

• julianthome / hands-on-solvers

  Hands-on Constraint Solving: Sudoku to SAT/SMT

  sudokusudoku-solversmtminisatcvc4sat-solverz3
  Language:Ruby 2

• valpackett / unshift

  Reverses bitwise operations using CVC4 to find individual components of bitmasks

  bitwisebitmasksmtcvc4
  Language:Python 1

• mfarif / foobar

  Symbolic encoding of a C program.

  smtlibsmtlibv2cvc4symbolicsymbolic-execution
  Language:SMT 0