Skip to content

TTool
TTool
TTool

TTool

Project ID: 225
Star 2
Clone

TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paristech.fr and @TTool_UML_SysML

Switch branch/tag
History Find file
Name
Last commit
 Last update
.idea Loading commit data...
CCode Loading commit data...
ELNGenerationCode Loading commit data...
MPSoC Loading commit data...
SysCAMSGenerationCode Loading commit data...
android Loading commit data...
bin Loading commit data...
doc Loading commit data...
dsescripts Loading commit data...
executablecode Loading commit data...
extra/jautomata-core Loading commit data...
figures Loading commit data...
gradle/wrapper Loading commit data...
graphminimize Loading commit data...
graphshow Loading commit data...
jttool Loading commit data...
launcher Loading commit data...
libs Loading commit data...
modeling Loading commit data...
oldTest_DoNotUse Loading commit data...
pec Loading commit data...
plugins Loading commit data...
proverif Loading commit data...
rundse Loading commit data...
simulationcontrol Loading commit data...
simulators Loading commit data...
src Loading commit data...
tiftranslator Loading commit data...
tmlcode Loading commit data...
tmltranslator Loading commit data...
ttool Loading commit data...
ttool-cli Loading commit data...
uppaal Loading commit data...
webcrawler Loading commit data...
.gitignore Loading commit data...
HOW_TO_START_TTOOL Loading commit data...
Makefile Loading commit data...
build.gradle Loading commit data...
build.txt Loading commit data...
builder.jar Loading commit data...
cli.exe Loading commit data...
gradlew Loading commit data...
gradlew.bat Loading commit data...
interact.exe Loading commit data...
interactmacos.exe Loading commit data...
readme Loading commit data...
settings.gradle Loading commit data...
test.txt Loading commit data...
ttool.exe Loading commit data...