a model extractor, to automatically extract Spin verification models from multi-threaded C code
☆29Jan 3, 2025Updated last year
Alternatives and similar repositories for Modex
Users that are interested in Modex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆477Sep 18, 2025Updated last year
- An interactive (fast) static source code analyzer☆227May 30, 2026Updated 4 months ago
- JPL Statechart Autocoder Rev. 2☆42Nov 1, 2016Updated 9 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- Simple C library for parsing and writing CSV files.☆11May 22, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 9 months ago
- A package for compositional system analysis and design☆36Aug 16, 2026Updated last month
- Sample code, tools, and other resources for working with the Misty II REST API and WebSocket events.☆10May 6, 2020Updated 6 years ago
- ☆11Feb 27, 2025Updated last year
- ☆11Oct 31, 2020Updated 5 years ago
- ROS code for Tenacity - A SAWPPY-inspired rover☆14Jun 19, 2026Updated 3 months ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- A fault-aware model checker for message passing systems☆16Aug 20, 2014Updated 12 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tkinter Console Widget Class☆11Dec 25, 2017Updated 8 years ago
- Hierarchical Finite State Machine implementation by C☆11Apr 16, 2018Updated 8 years ago
- A use-after-free checker based on SVF.☆21Nov 29, 2017Updated 8 years ago
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆18Jun 4, 2025Updated last year
- This is a GNU Radio Companion out-of-tree module for visualization of char data types☆23Sep 5, 2022Updated 4 years ago
- Toy Markdown Editor With Python & Tkinter☆12Jan 14, 2020Updated 6 years ago
- C++ drivers and utilities for the kobuki base☆20May 20, 2025Updated last year
- 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…☆27Jun 12, 2016Updated 10 years ago
- A tool for parsing common ACPI tables☆15Aug 6, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains☆27Jul 29, 2021Updated 5 years ago
- ☆18Jun 14, 2024Updated 2 years ago
- Python binding for NuSMV.☆11Nov 29, 2017Updated 8 years ago
- UHF active noise radar☆25Aug 10, 2021Updated 5 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- 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
- ☆15Jul 27, 2024Updated 2 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11May 30, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆19Mar 22, 2026Updated 6 months ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- Tensorflow is not only an well designed deep learning toolbox, but also a standard symbolic programming framework. In this repository, we…☆12Oct 15, 2018Updated 7 years ago
- PowerSAS.m - A power grid analysis toolbox based on semi-analytical solutions (SAS) for Matlab/GNU Octave☆24Jan 5, 2024Updated 2 years ago
- A Matlab/Octave parser implemented in Python, using the Lex-Yacc framework.☆18Sep 13, 2021Updated 5 years ago
- User Guided API Misuse Detection☆30Dec 9, 2022Updated 3 years ago
- A Swift library for carefully refactoring critical paths.☆13Sep 20, 2026Updated 3 weeks ago