Alternatives and similar repositories for ktc:

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

• osate / osate2
  Open Source AADL2 Tool Environment
  ☆41Updated 3 months ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆38Updated 4 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆41Updated 2 months ago
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆63Updated this week
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 4 years ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• pretis / flexpret
  A time-predictable processor for mixed-criticality systems
  ☆57Updated 2 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆81Updated this week
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆21Updated 3 weeks ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated 10 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• impedimentToProgress / MiBench2
  MiBench ported for IoT devices
  ☆17Updated last year
• loonwerks / formal-methods-workbench
  ☆20Updated last year
• 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
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 2 years ago
• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆62Updated 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.
  ☆33Updated 3 weeks ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆90Updated this week
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆23Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 3 months ago
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated 7 months ago
• t-crest / patmos
  Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project
  ☆138Updated last week
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆103Updated 3 years ago
• reeteshranjan / libgcov-embedded
  Port of libgcov portions to enable a way to generate GCDA files for embedded systems
  ☆32Updated 8 years ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆89Updated this week
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆17Updated 4 years ago
• gchamp20 / RTOSBench
  ☆14Updated 8 months ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆56Updated 9 years ago