tukcps / SysMDLinks
SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that does engineering calculations in the model and checks consistency of constraints and requirements.
☆33Updated last month
Alternatives and similar repositories for SysMD
Users that are interested in SysMD are comparing it to the libraries listed below
Sorting:
- ☆24Updated 2 months ago
- Utilities for constructing a large dataset of LLVM IR☆25Updated 8 months ago
- A set of tools to extract library signature of binary programs at runtime.☆28Updated 2 weeks ago
- Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing☆17Updated 6 years ago
- LLM-based mutation testing☆13Updated last year
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 8 years ago
- ☆12Updated 2 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Updated 2 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- ☆15Updated 6 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆22Updated 3 years ago
- ☆15Updated 6 months ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Updated last year
- Chiron Framework for PAVT Teaching☆20Updated 3 weeks ago
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆16Updated 2 weeks ago
- Assume-Guarantee REasoning Environment☆19Updated 2 months ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated 6 months ago
- PIRA - Automatic Instrumentation Refinement☆16Updated last year
- 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…☆21Updated 4 years ago
- Automatic Parallelism Using LLVM☆10Updated 11 years ago
- Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."☆11Updated 3 months ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Updated 10 months ago
- A mutation tool for source and IR☆13Updated 7 years ago
- Machine Learning for Source Code Analysis☆17Updated 2 years ago
- Public BanditFuzz Repo☆12Updated 5 years ago
- ☆25Updated 3 months ago
- ☆60Updated 3 weeks ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Updated last year
- A summary of ideas about transpilation -- work in progress☆23Updated 2 years ago