a model extractor, to automatically extract Spin verification models from multi-threaded C code
☆25Jan 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.☆453Sep 18, 2025Updated 5 months ago
- An interactive (fast) static source code analyzer☆183Jan 8, 2026Updated last month
- Python Data Audit☆12Jul 24, 2020Updated 5 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- Here you can find the code for the paper "Training robust neural networks using Lipschitz bounds"☆10Sep 20, 2020Updated 5 years ago
- A high-level OO Python interface to Bluetooth LE on Linux environments☆11Mar 11, 2018Updated 7 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This …☆12Feb 11, 2021Updated 5 years ago
- An idiomatic C++ wrapper for the Monocypher crypto library☆12Oct 6, 2024Updated last year
- A fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 8 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 4 years ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 8 months ago
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- ☆15Mar 7, 2018Updated 7 years ago
- An Open Source Maker's Guide of an DYI PMU☆11Oct 1, 2020Updated 5 years ago
- Multi-terminal and Edge-valued Decision Diagram LibrarY☆15Feb 12, 2026Updated 2 weeks ago
- The Convergence Admin Console☆14Mar 7, 2023Updated 2 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
- The Convergence Client-Server Protocol☆13Jul 7, 2023Updated 2 years ago
- A simple and concise templating engine that takes advantage of elegant Lua syntax.☆11Nov 25, 2023Updated 2 years ago
- Segway Simulation Environment☆11Dec 31, 2020Updated 5 years ago
- A tiny electronic dice☆13Sep 2, 2018Updated 7 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- ☆18Jan 31, 2014Updated 12 years ago
- An interface for solving a stochastic capacity expansion problem via a Dantzig-Wolfe decomposition algorithm☆10May 2, 2022Updated 3 years ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14May 18, 2021Updated 4 years ago
- Tkinter Console Widget Class☆11Dec 25, 2017Updated 8 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- Deployment scripts and documentation for Convergence https://convergence.io☆13Jul 25, 2021Updated 4 years ago
- Code for the paper "Code Generation From Flowcharts with Texts: A Benchmark Dataset and An Approach"☆13Feb 11, 2023Updated 3 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated last month
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- A Toolkit for Converting Flowcharts to Pseudocode☆13Feb 12, 2023Updated 3 years ago
- ☆15Jan 16, 2026Updated last month
- Math-aware QA system☆18Dec 17, 2022Updated 3 years ago