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
  ☆72Updated 3 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆46Updated last year
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆63Updated last month
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆24Updated 5 years ago
• jgrivera67 / HiRTOS
  HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
  ☆45Updated 3 weeks ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 2 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• HeisenbugLtd / spat
  SPARK Proof Analysis Tool
  ☆17Updated 5 years ago
• AdaCore / OPAVES
  Open Platform for Autonomous VEhicle Systems
  ☆22Updated 8 years ago
• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆12Updated 3 years ago
• OpenAADL / Crazyflie
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Updated 5 years ago
• AdaCore / Certyflie
  ☆35Updated 7 years ago
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 11 years ago
• seL4 / camkes
  Component Architecture test suite and example apps.
  ☆32Updated 4 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• AdaCore / learn
  Sources for learn.adacore.com
  ☆109Updated this week
• nasa / vscode-pvs
  LAR-19642-1: Visual Studio Code Extension for PVS
  ☆48Updated last week
• tum-ei-rcs / StratoX
  Flight stack for an unmanned fixed-wing weather glider.
  ☆15Updated 8 years ago
• AdaCore / Robotics_with_Ada
  Robotics with Ada, ARM, and Lego
  ☆17Updated last year
• alire-project / ada_spark_workflow
  A demo of best practices for open-source Ada/SPARK development
  ☆40Updated last year
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆123Updated 2 weeks ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆37Updated 3 weeks ago
• DLR-FT / ModelBasedSTPA
  ☆11Updated 3 months ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆33Updated 5 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated last week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆60Updated this week
• Robert-Tice / AdaRoombot
  Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.
  ☆11Updated 8 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆34Updated last week
• AdaCore / spark2014
  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…
  ☆292Updated last week