Alternatives and similar repositories for ktc

Users that are interested in ktc are comparing it to the libraries listed below

• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆178Updated 3 weeks ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆40Updated 5 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 2 months ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆39Updated last year
• model-checking / cbmc-viewer
  CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
  ☆34Updated last week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 2 months ago
• emul8 / emul8
  ☆113Updated 8 years ago
• smaccm / smaccm
  ☆34Updated 6 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆152Updated 5 months ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆223Updated 2 weeks ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 7 months ago
• echronos / echronos
  The eChronos real-time operating system
  ☆177Updated 5 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆180Updated last month
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆446Updated 2 months ago
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆24Updated 11 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆119Updated 6 months ago
• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆70Updated 2 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated last week
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆72Updated 3 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆172Updated 7 years ago
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆113Updated 3 weeks ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆54Updated last month
• efficios / barectf
  Generator of ANSI C tracers which output CTF data streams
  ☆77Updated 5 months ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆179Updated 5 years ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆53Updated 11 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• nasa-jpl / embedded-gcov
  GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…
  ☆203Updated last year
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆355Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year