DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
☆48Aug 22, 2024Updated last year
Alternatives and similar repositories for VERDICT
Users that are interested in VERDICT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆21Mar 13, 2026Updated 2 weeks ago
- DARPA CASE program☆16Jun 10, 2025Updated 9 months ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- Semantic Application Design Language (SADL) Open Source Code☆32Aug 26, 2024Updated last year
- ☆27Sep 27, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Adaptive stress testing of black-box systems within POMDPs.jl☆16Feb 6, 2024Updated 2 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Using the 1998 DARPA Intrusion Detection Evaluation dataset I configured a Random Forest model for anomaly detection☆14Feb 15, 2019Updated 7 years ago
- Open Source AADL2 Tool Environment☆53Mar 23, 2026Updated last week
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 3 years ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- Universal CPS Environment for Federation☆19Oct 4, 2022Updated 3 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆17Aug 30, 2025Updated 7 months ago
- Ontological Modeling Language (OML)☆32Jun 20, 2025Updated 9 months 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.
- System Resilience Modelling, Simulation, and Assessment in Python☆55Mar 10, 2026Updated 3 weeks ago
- Julia for Java binding☆11Jun 7, 2025Updated 9 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Mar 18, 2026Updated last week
- Sireum: A High Assurance System Engineering Platform☆23Updated this week
- Generate JSON force-directed/ node graph data from MITRE's ATTACK framework and visualize it interactively☆38Apr 19, 2025Updated 11 months ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆214Mar 22, 2026Updated last week
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- A framework for the elicitation, specification, formalization and analysis of requirements.☆413Mar 13, 2026Updated 2 weeks ago
- This repo contains the source code of the physical layer developed for the DARPA Spectrum Collaboration Challenge (SC2).☆12Nov 21, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automated Analysis Framework for Simulink/Stateflow models.☆62Feb 16, 2026Updated last month
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- ☆13Dec 17, 2021Updated 4 years ago
- A curated collection of high-quality SysMLv2 models. We welcome contributions via pull requests to expand this resource. For questions or…☆61Jun 4, 2025Updated 9 months ago
- DARPA AIE (AI-Assisted Climate Tipping Point): AIBEDO (A hybrid AI framework to capture the effects of cloud properties on global circula…☆18Feb 4, 2024Updated 2 years ago
- ☆30Oct 14, 2017Updated 8 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 5 years ago
- Meta information for the DARPA open catalog project.☆57Nov 16, 2017Updated 8 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Aug 25, 2022Updated 3 years ago
- A 1-3D shape function library composing the Exact Sequence for Elements of All Shapes☆15Nov 6, 2023Updated 2 years ago
- Bilevel optimization library of test problems☆10Dec 19, 2024Updated last year
- This work shows the viability of automatically generated attack graphs that are used for adversary behavior execution in industrial contr…☆12Jun 3, 2021Updated 4 years ago
- This is the code repository for the paper "Zero-Sum Stochastic Stackelberg Games".☆17Oct 12, 2022Updated 3 years ago
- recon-ng modules for Censys☆37Oct 23, 2023Updated 2 years ago
- A protoc plugin for generating OCaml code from protobuf (.proto) files.☆17Nov 30, 2019Updated 6 years ago