Alternatives and similar repositories for ktc:

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

• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆63Updated last year
• smaccm / smaccm
  ☆33Updated 5 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆41Updated 4 months ago
• castor-software / openmz
  OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.
  ☆12Updated 4 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 4 years ago
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆20Updated 2 months ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆67Updated 2 years ago
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆98Updated last month
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆65Updated last week
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆34Updated last year
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆38Updated 4 years ago
• pretis / flexpret
  A time-predictable processor for mixed-criticality systems
  ☆57Updated 3 months ago
• emul8 / emul8
  ☆112Updated 7 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆43Updated 4 months ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆151Updated last month
• loonwerks / formal-methods-workbench
  ☆19Updated 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 this week
• Linaro / OpenCSD
  CoreSight trace stream decoder developed openly
  ☆152Updated last week
• fractalclone / zephyr-riscv
  Zephyr port to riscv architecture
  ☆24Updated 7 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆138Updated last month
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆83Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 4 months ago
• antmicro / renode
  Renode - virtual development tool for multinode embedded networks
  ☆31Updated this week
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆161Updated 6 years ago
• reeteshranjan / libgcov-embedded
  Port of libgcov portions to enable a way to generate GCDA files for embedded systems
  ☆32Updated 8 years ago
• hex-five / multizone-sdk
  MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…
  ☆83Updated last year
• 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…
  ☆184Updated last year
• illustris / FreeRTOS-RISCV
  A port of FreeRTOS for the RISC-V ISA
  ☆75Updated 5 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last month
• eembc / telebench
  TeleBench™ is a suite of benchmarks that allows the users to approximate the performance of processors in modem and related fixed-telecom…
  ☆12Updated 4 years ago