GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → lip6 → ITSTools

lip6 / ITSTools

Licence: GPL-3.0 license
A multi-formalism, multi-solution model-checker centered on the language GAL

Programming Languages

java
68154 projects - #9 most used programming language
Promela
5 projects
Xtend
68 projects
perl
6916 projects
HTML
75241 projects
SMT
39 projects

Labels

eclipseltlsafetymodel-checkingpetri-netmodel-driven-developmentctl

Projects that are alternatives of or similar to ITSTools

dash
Server control panel
Stars: ✭ 22 (+29.41%)
Mutual labels:  ctl
wapiml
An OpenAPI round-trip tool that leverages model-driven techniques to create, visualize, manage, and generate OpenAPI definitions.
Stars: ✭ 61 (+258.82%)
Mutual labels:  eclipse
mCRL2
The Git repository for the mCRL2 toolset.
Stars: ✭ 67 (+294.12%)
Mutual labels:  model-checking
ContextQuickie
An eclipse add-on which extens the context menu for accessing various tools.
Stars: ✭ 17 (+0%)
Mutual labels:  eclipse
get-started-java
Sample and tutorial to help you get started with a Java EE app, REST API and a database.
Stars: ✭ 28 (+64.71%)
Mutual labels:  eclipse
MqttAndroidExample
An example Android app using MQTT protocol
Stars: ✭ 19 (+11.76%)
Mutual labels:  eclipse
eclipse
🧛🏻‍♂️ Dark theme for Eclipse
Stars: ✭ 34 (+100%)
Mutual labels:  eclipse
gen pnet
library for modeling Petri nets in Erlang
Stars: ✭ 59 (+247.06%)
Mutual labels:  petri-net
avr
Reads a state transition system and performs property checking
Stars: ✭ 41 (+141.18%)
Mutual labels:  model-checking
ScenarioArchitect
The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.
Stars: ✭ 23 (+35.29%)
Mutual labels:  safety
MostGenerator
Transformation cartridges for generating Symfony bundles from ModuleStudio models.
Stars: ✭ 21 (+23.53%)
Mutual labels:  model-driven-development
eclipse-asciidoctor-editor
An eclipse editor for asciidoctor files
Stars: ✭ 45 (+164.71%)
Mutual labels:  eclipse
android-support-v4
Eclipse library project based on Android support-v4 AAR releases.
Stars: ✭ 39 (+129.41%)
Mutual labels:  eclipse
adoptium
adoptium.net
Stars: ✭ 126 (+641.18%)
Mutual labels:  eclipse
fabric-loom
Gradle build system plugin used to automate the setup of a minecraft mod development environment.
Stars: ✭ 150 (+782.35%)
Mutual labels:  eclipse
lxtk
Language Client/Server Toolkit
Stars: ✭ 22 (+29.41%)
Mutual labels:  eclipse
safe
🛡 PHP functions smarten up to throw exceptions instead of returning false or triggering errors.
Stars: ✭ 15 (-11.76%)
Mutual labels:  safety
android-support-v7-recyclerview
Eclipse library project based on Android support recyclerview-v7 AAR releases.
Stars: ✭ 28 (+64.71%)
Mutual labels:  eclipse
safe-exploration
Safe Exploration with MPC and Gaussian process models
Stars: ✭ 57 (+235.29%)
Mutual labels:  safety
Stack
A Type-Safe, Thread-Safe-ish approach to CoreData in Swift
Stars: ✭ 47 (+176.47%)
Mutual labels:  safety
View All Similar Projects ➔

ITSTools

A multi-formalism, multi-solution model-checker centered on the language GAL

See our main homepage for details : http://ddd.lip6.fr

To install this tool, within a recent eclipse, Help -> Install New Software -> Add this update site https://lip6.github.io/ITSTools/

If you would prefer a command line interaction, download the version for your platform (OSX, Win, Linux) from : https://lip6.github.io/ITSTools/

You might also be looking for the version of ITS-Tools packaged for the Model Checking Contest that is distributed from here https://github.com/yanntm/ITS-Tools-MCC

ITS-Tools is distributed under the terms of GPL v3.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].