a model extractor, to automatically extract Spin verification models from multi-threaded C code
☆26Jan 3, 2025Updated last year
Alternatives and similar repositories for Modex
Users that are interested in Modex are comparing it to the libraries listed below
Sorting:
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆457Sep 18, 2025Updated 6 months ago
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- AFLTurbo☆30Jun 19, 2022Updated 3 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- GNU Radio out-of-tree module for triggering on LTE signal☆14Apr 8, 2021Updated 4 years ago
- 又一个屏蔽中文世界爬虫、机器翻译等 SEO 垃圾网站的浏览器用户脚本。☆20Dec 15, 2025Updated 3 months ago
- Reducing Channel Redundancy in Convolutional Neural Networks by Features Recombining (TIP 2021)☆20Mar 1, 2023Updated 3 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 2 months ago
- Continuous Time Markov Chain☆16Sep 27, 2019Updated 6 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- ☆11Feb 27, 2025Updated last year
- A tool decode the wallpaper engine's mpkg file.☆20Jun 19, 2025Updated 9 months ago
- ☆11Aug 22, 2024Updated last year
- ☆11Oct 31, 2020Updated 5 years ago
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated 9 months ago
- Sample code, tools, and other resources for working with the Misty II REST API and WebSocket events.☆10May 6, 2020Updated 5 years ago
- This web server emulates a terminal/console using a browser for the user interface.☆11Jul 6, 2023Updated 2 years ago
- ☆12Jan 7, 2024Updated 2 years ago
- ROS code for Tenacity - A SAWPPY-inspired rover☆14Mar 8, 2025Updated last year
- ☆18Jan 31, 2014Updated 12 years ago
- Python Data Audit☆12Jul 24, 2020Updated 5 years ago
- Toy Markdown Editor With Python & Tkinter☆11Jan 14, 2020Updated 6 years ago
- Berlekamp-Massey algorithm☆12Jul 11, 2012Updated 13 years ago
- The code of paper "Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming." published on …☆10Apr 27, 2018Updated 7 years ago
- A binary-only coverage-guided fuzzer based on AFL and e9patch☆22Oct 13, 2020Updated 5 years ago
- OpenCL, SDR, TDD/FDD LTE cell scanner, full stack from A/D samples to SIB ASN1 messages decoded in PDSCH, (optimized for RTL-SDR HACKRF a…☆26Jun 12, 2016Updated 9 years ago
- A tool for parsing common ACPI tables☆15Aug 6, 2020Updated 5 years ago
- Segway Simulation Environment☆11Dec 31, 2020Updated 5 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Jul 10, 2020Updated 5 years ago
- A starting point for your custom Dockerfile that works on binder. You probably don't want to use this.☆21Dec 16, 2021Updated 4 years ago
- The repository for the Misty Robotics developer documentation.☆20Dec 30, 2022Updated 3 years ago
- ☆15Jul 27, 2024Updated last year
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11May 30, 2017Updated 8 years ago
- MiDas: Multi-granularity Detector for Vulnerability Fixes (IEEE TSE)☆15Dec 5, 2023Updated 2 years ago
- ☆22Mar 21, 2024Updated 2 years ago
- ☆18Jun 14, 2024Updated last year
- Here you can find the code for the paper "Training robust neural networks using Lipschitz bounds"☆10Sep 20, 2020Updated 5 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics☆20Jan 23, 2026Updated last month