Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Itstools

A multi-formalism, multi-solution model-checker centered on the language GAL
Stars
20
License
gpl-3.0
Open Issues
9
Most Recent Commit
3 months ago
Programming Language
Python
Categories
Repo
Suggest An Alternative To ITSTools
Popular Eclipse Projects
Quarkus ⭐ 12,761
Quarkus: Supersonic Subatomic Java.
dependent packages 8total releases 166latest release November 22, 2023most recent commit 3 months ago
Interview ⭐ 10,930
Interview questions
most recent commit 3 months ago
Apidoc ⭐ 9,691
RESTful web API Documentation Generator.
dependent packages 345total releases 96latest release August 23, 2023most recent commit 4 months agonpm apidoc} Downloads
Mosquitto ⭐ 8,069
Eclipse Mosquitto - An open source MQTT broker
total releases 2latest release August 23, 2022most recent commit 3 months ago
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Popular Integrated Development Environments Categories
Xcode
Vscode
Ide
Atom Editor
Eclipse
Visual Studio
Vscode Extension
Intellij
Android Studio
Anaconda
Related Searches
Python Eclipse
Python Safety
Python Model Checking
Python Petri Net
Eclipse Model Driven Development
Python Ltl
Model Checking Petri Net
Model Checking Ltl
Model Checking Ctl
Safety Model Checking

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Eclipse
Model Checking
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.