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
  ☆64Updated 2 years ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆39Updated 4 years ago
• 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.
  ☆32Updated 2 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 6 months ago
• smaccm / smaccm
  ☆33Updated 6 years ago
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆67Updated this week
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆22Updated 4 months ago
• 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
• tacle / tacle-bench
  TACLe Benchmarks
  ☆43Updated 6 months ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆72Updated 6 years ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆18Updated 4 years ago
• Linaro / OpenCSD
  CoreSight trace stream decoder developed openly
  ☆157Updated 2 months ago
• osate / examples
  Examples and case-study that use OSATE
  ☆57Updated 3 weeks ago
• pretis / flexpret
  A time-predictable processor for mixed-criticality systems
  ☆58Updated 6 months ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆143Updated last month
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆109Updated 3 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆160Updated last month
• contiki-ng / mspsim
  Official MSPSim git repository
  ☆66Updated last year
• rntmancuso / jailhouse-rt
  BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
  ☆17Updated 4 years ago
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• eclipse-tracecompass / org.eclipse.tracecompass
  Eclipse Trace Compass
  ☆21Updated last week
• emul8 / emul8
  ☆112Updated 7 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 4 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆92Updated this week
• echronos / echronos
  The eChronos real-time operating system
  ☆174Updated 5 years ago
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆126Updated 2 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• Samsung / mTower
  mTower is Trusted Execution Environment specially designed to be used on MicroController Units (MCUs) supporting ARM TrustZone technology…
  ☆54Updated last week
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆101Updated this week