termite2 / Termite

Related projects ⓘ

Alternatives and complementary repositories for Termite

• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆78Updated 4 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• mangpo / greenthumb
  ☆84Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• uw-unsat / hyperkernel
  ☆181Updated 4 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆69Updated 3 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆36Updated last year
• agra-uni-bremen / metaSMT
  ☆48Updated 8 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 3 weeks ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆47Updated 5 months ago
• rems-project / rmem
  rmem public repo
  ☆40Updated 3 months ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆52Updated last month
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆68Updated 7 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 10 years ago
• seL4 / rumprun-sel4-demoapps
  Apps for running with the rumprun unikernel on seL4.
  ☆30Updated this week
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• Antique-team / memcad
  The MemCAD static analyzer
  ☆25Updated 3 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆128Updated 3 years ago