sireum / kekinianLinks
Sireum: A High Assurance System Engineering Platform
☆14Updated this week
Alternatives and similar repositories for kekinian
Users that are interested in kekinian are comparing it to the libraries listed below
Sorting:
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆69Updated 3 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 2 weeks ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- Ada projects for Make-with-Ada☆13Updated 4 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- The People's Verification System☆158Updated this week
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆43Updated 3 weeks ago
- Specification and Analysis for Requirements Tool☆20Updated 4 years ago
- Ada Embedded Network Stack☆24Updated 3 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆111Updated 2 years ago
- LAR-19642-1: Visual Studio Code Extension for PVS☆46Updated last month
- A flight software framework in SPARK/Ada☆52Updated 9 months ago
- The Git repository for the mCRL2 toolset.☆99Updated last week
- SPARK Proof Analysis Tool☆16Updated 4 years ago
- Bare Metal demos using Ada and ravenscar runtimes☆21Updated 5 years ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago
- This repository contains course material published to the AdaCore University website☆55Updated 5 years ago
- Sources for the ANSI/ISO C Specification Language manual☆60Updated last week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆53Updated this week
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…☆284Updated this week
- Robot navigation algorithms implemented in SPARK☆12Updated 10 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- NASA PVS Library of Formal Developments☆288Updated this week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 3 weeks ago
- Specification and Analysis for Requirements Tool☆10Updated 9 years ago
- Public snapshots of "ACSL by Example"☆114Updated 3 months ago
- ☆21Updated 11 months ago
- The Overture Tool☆50Updated 10 months ago