Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
☆13Feb 12, 2020Updated 6 years ago
Alternatives and similar repositories for lm_challenges
Users that are interested in lm_challenges are comparing it to the libraries listed below
Sorting:
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing☆17Nov 20, 2019Updated 6 years ago
- Repository for the HARDENS project☆27Dec 12, 2024Updated last year
- Automated Analysis Framework for Simulink/Stateflow models.☆60Feb 16, 2026Updated 2 weeks ago
- A framework for the elicitation, specification, formalization and analysis of requirements.☆408Jun 10, 2025Updated 8 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆47Aug 22, 2024Updated last year
- MotoGP/Linear Regression/Web Scraping☆10Mar 12, 2018Updated 7 years ago
- GPT Table Semantic Parsing with complex & non-intuitive structure.☆17Jul 16, 2025Updated 7 months ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- ☆11Nov 12, 2017Updated 8 years ago
- ☆13Aug 3, 2024Updated last year
- This example is the reference model to be used by participants of the MathWorks Minidrone Competition.☆15Jun 24, 2022Updated 3 years ago
- Project in which an MPC controller using both state feedback and output feedback with disturbance rejection is design for the attitude dy…☆13Jul 3, 2024Updated last year
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- Language Models for Code Completion: a Practical Evaluation☆13Jan 19, 2024Updated 2 years ago
- ☆10Feb 19, 2016Updated 10 years ago
- Source code for "An Empirical Study of Code Smells in Transformer-based Code Generation Techniques".☆11Oct 4, 2022Updated 3 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 5 years ago
- Hanfor helps analyzing and formalizing requirements.☆11Updated this week
- Triplestore wrapper package for Python.☆12Updated this week
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆11Jul 1, 2020Updated 5 years ago
- Manage legacy code with comments.☆17Updated this week
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Streamlining Solution, Architecture, and Requirements for perfect Alignment.☆32Feb 28, 2026Updated last week
- ☆14Jun 3, 2025Updated 9 months ago
- Vision stencils pack for Sequential Function Charts design☆15Oct 14, 2019Updated 6 years ago
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- GitHub IssueをProjectに自動登録☆10Updated this week
- Hyperoctree construction and manipulation☆11Jan 4, 2021Updated 5 years ago
- A 1-3D shape function library composing the Exact Sequence for Elements of All Shapes☆15Nov 6, 2023Updated 2 years ago
- Clone of original space invaders with Rust☆14Jul 1, 2021Updated 4 years ago
- ☆16Mar 17, 2025Updated 11 months 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 9 months ago
- Fault Trees on R☆10Aug 26, 2023Updated 2 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- PX4 Source Code for Phoenix Tail-sitter☆10Mar 14, 2019Updated 6 years ago
- On-the-fly Definition Augmentation of LLMs for Biomedical NER☆14Apr 14, 2025Updated 10 months ago