Skip to content

Model-checker, target of model-to-model transformation

License

Notifications You must be signed in to change notification settings

MeteoSensibil/ITSTools---M2M-

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

Model-checker, target of model-to-model transformation

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 40.6%
  • Java 32.4%
  • Promela 23.7%
  • Xtend 0.7%
  • Perl 0.6%
  • HTML 0.5%
  • Other 1.5%