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…
  ☆44Updated last year
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 4 years ago
• OpenAADL / Crazyflie
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Updated 5 years ago
• AdaCoreU / Courses
  This repository contains course material published to the AdaCore University website
  ☆55Updated 5 years ago
• DLR-FT / ModelBasedSTPA
  ☆10Updated last month
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆47Updated 3 weeks ago
• nasa / vscode-pvs
  LAR-19642-1: Visual Studio Code Extension for PVS
  ☆48Updated 3 months ago
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆18Updated 2 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆62Updated last week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated last week
• loonwerks / formal-methods-workbench
  ☆20Updated 2 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated last week
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 9 months ago
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆13Updated 5 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated 2 years ago
• jgrivera67 / make-with-ada
  Ada projects for Make-with-Ada
  ☆13Updated 4 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated this week
• SRI-CSL / PVS
  The People's Verification System
  ☆162Updated this week
• ARISSIM / ARISS
  An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
  ☆19Updated 8 years ago
• AFifarek / SpeAR
  Specification and Analysis for Requirements Tool
  ☆10Updated 9 years ago
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• JPL-IMCE / gov.nasa.jpl.imce.ontologies.public
  JPL's IMCE ontologies for Model-Based Systems Engineering
  ☆20Updated 5 years ago
• NASARace / race
  actor based framework for building event driven, distributed simulations
  ☆47Updated last year
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated 2 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆80Updated last week
• jgrivera67 / HiRTOS
  HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
  ☆43Updated 2 months ago