A Tutorial for tools developed on the DARPA CASE program
☆15Oct 18, 2023Updated 2 years ago
Alternatives and similar repositories for CASE-AADL-Tutorial
Users that are interested in CASE-AADL-Tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 8 months ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆59Jul 20, 2025Updated last year
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 3 months ago
- Companion code and schematics for my breadboard Z80 series☆11Dec 6, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Drive a Wishbone master bus with an SPI bus.☆10Apr 24, 2025Updated last year
- Simulating Verilog designs on a microcontroller☆14Sep 13, 2022Updated 3 years ago
- Formal semantics of Rust☆24Apr 9, 2021Updated 5 years ago
- AD backends for LogDensityProblems.jl.☆13Jul 30, 2026Updated last week
- Estimate probability of failure using reframed Bayesian optimization☆11Aug 14, 2025Updated 11 months ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- Implementing Domain-Specific Languages with Xtext and Xtend, published by Packt☆14Jan 30, 2023Updated 3 years ago
- Self-modifying Code de-obfuscation☆17May 17, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CN separation logic refinement type system for C☆61Updated this week
- Gaussian Process-based Adaptive Informative Path Planning with Multimodal Sensing☆14Aug 8, 2024Updated 2 years ago
- Pacman wrapper/frontend to emulate Gentoo's "emerge" package management tool on ArchLinux systems☆10Sep 26, 2022Updated 3 years ago
- A package of FlightSims.jl family for ROS2.☆10Jan 17, 2022Updated 4 years ago
- ☆27Mar 13, 2025Updated last year
- ☆18Dec 5, 2025Updated 8 months ago
- Embedded-friendly crypto a la SMACCM☆13Aug 11, 2017Updated 9 years ago
- ☆19Feb 16, 2026Updated 5 months ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆35Jan 25, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GPT Table Semantic Parsing with complex & non-intuitive structure.☆17Jul 16, 2025Updated last year
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- A simple 28C16 EEPROM writer for Arduino Nano or Uno☆17Dec 16, 2025Updated 7 months ago
- Control barrier functions (CBFs) in Julia.☆14Sep 19, 2024Updated last year
- Sireum: A High Assurance System Engineering Platform☆27Jul 31, 2026Updated last week
- Information about concrete categories relevant to universal algebra☆19Apr 14, 2026Updated 3 months ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- ☆13Apr 17, 2025Updated last year
- Open hardware development board for the 5500FP, a 24-trit balanced ternary RISC processor.☆19May 4, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆15Aug 5, 2023Updated 3 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆50Aug 22, 2024Updated last year
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- Language Models for Code Completion: a Practical Evaluation☆13Jan 19, 2024Updated 2 years ago
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- Reactive, "soft real-time" programming tools for Julia.☆18Nov 30, 2023Updated 2 years ago
- A Thoroughly Tested Verilog Implementation of a Z80 Compatible Processor Architecture☆18Mar 31, 2021Updated 5 years ago