Alternatives and similar repositories for kekinian:

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

• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆13Updated 2 years ago
• Drona-Org / Drona
  Drona is a programming framework for building safe robotics systems
  ☆29Updated 2 years ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆73Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• tum-ei-rcs / StratoX
  Flight stack for an unmanned fixed-wing weather glider.
  ☆14Updated 7 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆11Updated 3 years ago
• AdaCore / Certyflie
  ☆34Updated 6 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 7 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 5 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆107Updated 3 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• AFifarek / SpeAR
  Specification and Analysis for Requirements Tool
  ☆10Updated 9 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆56Updated last month
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆31Updated this week
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆28Updated 4 years ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆42Updated this week
• OpenAADL / Crazyflie
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Updated 5 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆57Updated 7 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 2 weeks ago
• seL4 / camkes
  Component Architecture test suite and example apps.
  ☆27Updated 3 weeks ago
• Formal-Systems-Laboratory / ROSRV
  ☆14Updated 3 years ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• simularity / SimGen
  A simulation language
  ☆21Updated 4 years ago
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆12Updated 5 months ago
• ARISSIM / ARISS
  An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
  ☆18Updated 8 years ago