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:
- Utilities for constructing a large dataset of LLVM IR☆25Updated 8 months ago
- ☆15Updated 6 months ago
- ☆12Updated 2 years ago
- Assume-Guarantee REasoning Environment☆19Updated 2 months ago
- LLM-based mutation testing☆13Updated last year
- A tool for cross-checking Verilog compilers☆14Updated 9 months ago
- ☆20Updated last year
- Chiron Framework for PAVT Teaching☆20Updated 3 weeks ago
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆14Updated 8 months ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing☆17Updated 6 years ago
- ☆15Updated 6 years ago
- Public BanditFuzz Repo☆12Updated 5 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Updated 10 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 8 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
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆11Updated last year
- ☆25Updated 3 weeks ago
- Schedule for ArtOfSAT☆10Updated 2 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Updated last year
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆16Updated 2 weeks 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…☆21Updated 4 years ago
- System for verifying the correctness of generated Copilot programs☆17Updated 8 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 3 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Updated last year
- PIRA - Automatic Instrumentation Refinement☆16Updated last year
- Machine Learning for Source Code Analysis☆17Updated 2 years ago
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Updated last year