16 skills found
epfl-lara / StainlessVerification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
testsmt / YinyangA fuzzing framework for SMT solvers
kino-mc / Rsmt2A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
nunchaku-inria / NunchakuModel finder for higher-order logic
codersguild / Software Analysis PAVTProgram Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
CVC4 / CVC4 ArchivedCVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
umangm / RealsynAutomated Controller Synthesis
muraliadithya / Mini Sygusa constraint-based syntax-guided synthesis (SyGuS) engine
PatrickTrentin88 / Fzn2omtTools/Scripts to convert MiniZinc/FlatZinc to Optimization Modulo Theories (OMT) for BCLT, OptiMathSAT or Z3 and Satisfiability Modulo Theories (SMT) for CVC4.
CLC-UIowa / SySLiteSYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
uncle-betty / Trust But VerifyCan CVC4 LFSC proofs be transliterated to Agda?
FMJS / EMMEEMME: ECMAScript Memory Model Evaluator
cpitclaudel / Cvc4.jsasm.js and WebAssembly ports of the CVC4 SMT solver
CVC4 / Homebrew Cvc4Homebrew formula for CVC4
CVC4 / SignaturesProof signatures for CVC4
tudo-aqua / Cvc4 TurnkeyBuild system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.
