AllanBlanchard / tutoriel_wp

Related projects ⓘ

Alternatives and complementary repositories for tutoriel_wp

• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆100Updated 3 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆69Updated 3 years ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆50Updated 6 months ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆26Updated 4 years ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆72Updated 3 weeks ago
• zkincaid / duet
  Duet: static analysis for unbounded concurrency
  ☆23Updated 2 weeks ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆48Updated 3 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆167Updated 4 years ago
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆37Updated last year
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆50Updated 2 weeks ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆18Updated this week
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆58Updated 3 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆34Updated this week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆56Updated this week
• havelund / dejavu
  The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
  ☆18Updated 8 months ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆21Updated 2 years ago
• INRIA / velus
  A Lustre compiler in Coq
  ☆59Updated this week
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆34Updated this week
• agra-uni-bremen / metaSMT
  ☆48Updated 8 years ago
• ufmg-smite / carcara
  ☆33Updated this week
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆156Updated 2 months ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆36Updated 10 years ago
• martinjonas / Q3B
  ☆26Updated 5 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last year
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 3 weeks ago
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆26Updated this week
• Mtac2 / Mtac2
  ☆51Updated last month
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆136Updated 3 months ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆27Updated 5 months ago