A Tutorial for tools developed on the DARPA CASE program
☆16Oct 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 10 months ago
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆63Oct 3, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Formal semantics of Rust☆24Apr 9, 2021Updated 5 years ago
- AD backends for LogDensityProblems.jl.☆14Sep 29, 2026Updated last week
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- Self-modifying Code de-obfuscation☆17May 17, 2017Updated 9 years ago
- CN separation logic refinement type system for C☆61Updated this week
- Pacman wrapper/frontend to emulate Gentoo's "emerge" package management tool on ArchLinux systems☆11Sep 26, 2022Updated 4 years ago
- A package of FlightSims.jl family for ROS2.☆10Jan 17, 2022Updated 4 years ago
- ☆27Mar 13, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Sep 9, 2026Updated last month
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Jan 25, 2025Updated last year
- Source code for "An Empirical Study of Code Smells in Transformer-based Code Generation Techniques".☆11Oct 4, 2022Updated 4 years ago
- 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
- The current implementation of `LinearAlgebra.eigen` does not support sensitivities. DifferentiableEigen.jl offers an `eigen` function tha…☆34Sep 15, 2025Updated last year
- Custom Command and Control (C3). A framework for rapid prototyping of custom C2 channels, while still providing integration with existing…☆11Oct 6, 2020Updated 6 years ago
- Information about concrete categories relevant to universal algebra☆20Apr 14, 2026Updated 5 months ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Apr 17, 2025Updated last year
- Open hardware development board for the 5500FP, a 24-trit balanced ternary RISC processor.☆23May 4, 2026Updated 5 months ago
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 5 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆49Aug 22, 2024Updated 2 years ago
- 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
- ☆10Jun 20, 2023Updated 3 years ago
- A simple utility to generate real File and Active Directory activity in lab environments for the purposes of monitoring changes and detec…☆11Dec 4, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A MCP server written in C++ that provides AI models and agents with a SysML v2 model as context.☆24Sep 23, 2025Updated last year
- Reactive, "soft real-time" programming tools for Julia.☆18Nov 30, 2023Updated 2 years ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 3 years ago
- The official data and code for EMNLP 2023 main conference paper: CRT-QA: A Dataset of Complex Reasoning Question Answering over Tabular D…☆13May 19, 2025Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Sep 28, 2026Updated last week
- Unofficial Google Gen AI Julia SDK☆19Aug 23, 2026Updated last month
- On-the-fly Definition Augmentation of LLMs for Biomedical NER☆14Apr 14, 2025Updated last year