KeYProject / key

Related projects: ⓘ

• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆59Updated 2 months ago
• jayhorn / jayhorn
  Static checker for Java
  ☆83Updated 9 months ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 2 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆76Updated 11 months ago
• tudo-aqua / z3-turnkey
  Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpa…
  ☆32Updated 2 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆55Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆62Updated 10 months ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆102Updated 5 months ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆89Updated 3 years ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆10Updated 5 years ago
• opalj / opal
  ☆50Updated this week
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆21Updated 2 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆47Updated this week
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆13Updated 3 weeks ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆56Updated 2 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆179Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆49Updated last month
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆34Updated this week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆51Updated last month
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆194Updated this week
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆76Updated 3 years ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆33Updated last week
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated last year
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆78Updated this week
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆140Updated last month
• wala / ML
  ☆25Updated last month
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 3 weeks ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆54Updated this week
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆17Updated this week