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
  ☆173Updated 2 weeks ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆39Updated 4 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆47Updated 2 weeks ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 8 years ago
• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆68Updated 2 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆175Updated last week
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 5 months ago
• echronos / echronos
  The eChronos real-time operating system
  ☆174Updated 5 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 11 months ago
• smaccm / smaccm
  ☆34Updated 6 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆50Updated 10 months ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆38Updated last year
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆23Updated 8 months ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆149Updated 2 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆101Updated this week
• 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.
  ☆31Updated last week
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated this week
• ucb-sejits / ctree
  A C-family AST implementation designed to be an IR for DSL compilers.
  ☆17Updated 8 years ago
• efficios / barectf
  Generator of ANSI C tracers which output CTF data streams
  ☆76Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated this week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• cornell-brg / pydgin
  A (Py)thon (D)SL for (G)enerating (In)struction set simulators.
  ☆166Updated 7 years ago
• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆271Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 10 months ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• diffblue / cbmc
  C Bounded Model Checker
  ☆949Updated this week
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆249Updated this week
• mangpo / greenthumb
  ☆88Updated 3 years ago
• impedimentToProgress / MiBench2
  MiBench ported for IoT devices
  ☆19Updated 3 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago