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
  ☆46Updated this week
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆145Updated last week
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆22Updated 6 months ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆39Updated 4 years ago
• smaccm / smaccm
  ☆34Updated 6 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆171Updated 2 weeks ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆45Updated 8 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆70Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆38Updated last year
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆126Updated 3 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆173Updated 5 years ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆104Updated last week
• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆66Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 9 months ago
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 8 months ago
• riscvarchive / ISA_Formal_Spec_Public_Review
  Locus site for Public Review of Several RISC-V ISA Formal Specs
  ☆73Updated 5 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆262Updated this week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆109Updated last year
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆172Updated 4 years ago
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆104Updated last month
• efficios / barectf
  Generator of ANSI C tracers which output CTF data streams
  ☆72Updated last week
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆74Updated 2 weeks ago
• AFifarek / SpeAR
  Specification and Analysis for Requirements Tool
  ☆10Updated 9 years ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 7 years ago