A multi-formalism, multi-solution model-checker centered on the language GAL
☆28Nov 21, 2025Updated 3 months ago
Alternatives and similar repositories for ITSTools
Users that are interested in ITSTools are comparing it to the libraries listed below
Sorting:
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated 5 months ago
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆13May 20, 2024Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- The LTSmin model checking toolset☆61Oct 31, 2024Updated last year
- Maude Formal Environment☆17Feb 17, 2026Updated last week
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 8 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆64May 31, 2015Updated 10 years ago
- An advanced header-only exact synthesis library☆30Nov 24, 2022Updated 3 years ago
- Files for my Heliostat project☆12Oct 12, 2025Updated 4 months ago
- Tools for Design Structure Matrix☆10Jan 25, 2022Updated 4 years ago
- CAQE is a solver for quantified Boolean formulas☆39May 13, 2023Updated 2 years ago
- A Modern Probabilistic Model Checker☆163Updated this week
- Стиль CSL для библиографии по ГОСТ☆11Mar 16, 2017Updated 8 years ago
- ☆52Mar 26, 2016Updated 9 years ago
- Modern Swagger/OpenAPI integration for AdonisJS v6 with Scalar UI☆24Feb 3, 2026Updated 3 weeks ago
- Boost.org logic module☆12Dec 10, 2025Updated 2 months ago
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆14Jun 6, 2019Updated 6 years ago
- Python wrapper for libcosim☆10Nov 25, 2025Updated 3 months ago
- Get build time statistics of _FORTIFY_SOURCE coverage for programs☆12Sep 23, 2024Updated last year
- d0SL (Delta0 Semantic Language) effectively represents an AI 2.0 platform for autonomous decision making systems based on a semantic mode…☆10Mar 18, 2022Updated 3 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated 11 months ago
- Babel plugin for transforming ES2017 features Object.entries and Object.keys☆13May 2, 2024Updated last year
- Lazy python recipes.☆10Apr 17, 2021Updated 4 years ago
- Open book: Cybernetic Economic System☆14May 13, 2017Updated 8 years ago
- ☆33Aug 12, 2014Updated 11 years ago
- A jQuery plugin for webRTC☆62May 9, 2012Updated 13 years ago
- Transform git repos into RDF☆13Nov 5, 2022Updated 3 years ago
- SML, The Living Language (aka, Successor ML)☆72Apr 4, 2016Updated 9 years ago
- iADMM for a low-rank representation optimization problem☆13Feb 5, 2021Updated 5 years ago
- Specification of the FMI Layered Standard for XCP☆14Feb 10, 2026Updated 2 weeks ago
- Repository for Terminology Maintenance Group☆14May 21, 2025Updated 9 months ago
- A Javascript library to display and interact with Petri Nets.☆14Nov 16, 2017Updated 8 years ago
- Documentation, backgrounders and tutorial material related to information design, engineering, semantics, ontologies, and vocabularies☆15May 22, 2023Updated 2 years ago
- WP7: Top Level Project for the toolchain☆28Jan 3, 2016Updated 10 years ago
- Java-like Language with Static Information Flow Types☆13May 5, 2025Updated 9 months ago
- Fork of http://asciitex.sourceforge.net/ with several improvements. But you should really be using https://github.com/bartp5/libtexprintf…☆13Jan 30, 2023Updated 3 years ago
- Multi-terminal and Edge-valued Decision Diagram LibrarY☆15Feb 12, 2026Updated 2 weeks 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