java随机模型检查器

jSAM is an eclipse plug-in integrating a set of tools that permits supporting stochastic analysis of concurrent and distributed systems specified by means of process algebras.

org.cmg.ml.sam
.classpath
.project
.settings
org.eclipse.jdt.core.prefs
META-INF
MANIFEST.MF
bin
org
cmg
ml
sam
Activator.class
build.properties
core
deploy.product
icons
background.png
klaim
plugin.xml
src
org.cmg.ml.sam.core
.classpath
.gitignore
.project
.settings
org.eclipse.jdt.core.prefs
Data
FailReset
sfr_.pctl
bin
org
cmg
ml
jopmc
tests
util
ModelGenerator.class
src
test
org.cmg.ml.sam.klaim
.classpath
.project
.settings
org.eclipse.jdt.core.prefs
bin
org
cmg
ml
aqua
klaim
core
test
AsFarAsItCan$Follower$1.class
src
org.cmg.ml.sam.libs
.classpath
.project
.settings
org.eclipse.jdt.core.prefs
META-INF
MANIFEST.MF
build.properties
org
swtchart
Chart.class
src
org.cmg.ml.sam.prism
.classpath
.project
.settings
org.eclipse.jdt.core.prefs
bin
org
cmg
ml
sam
prism
PrismModel$ModelType.class
src
org.cmg.ml.sam.xtext.klaim
.antlr-generator-3.2.0.jar
.classpath
.launch
Generate Language Infrastructure (org.cmg.ml.sam.xtext.klaim).launch
.project
META-INF
MANIFEST.MF
bin
org
cmg
ml
aqua
xtext
klaim
generator
build.properties
plugin.xml
plugin.xml_gen
src
src-gen
xtend-gen
org.cmg.ml.sam.xtext.klaim.sdk
.project
build.properties
feature.xml
org.cmg.ml.sam.xtext.klaim.tests
.classpath
.project
.settings
org.eclipse.jdt.core.prefs
KlaimSystem$_proc_testProcess_step_0.class
KlaimSystem$_proc_testProcess_step_1.class
KlaimSystem.class
META-INF
MANIFEST.MF
bin
org
cmg
ml
sam
xtext
klaim
KlaimInjectorProvider.class
build.properties
org.cmg.ml.sam.xtext.klaim.tests.launch
src
src-gen
xtend-gen
org.cmg.ml.sam.xtext.klaim.ui
.classpath
.project
META-INF
MANIFEST.MF
bin
org
cmg
ml
sam
xtext
klaim
ui
AbstractKlaimUiModule.class
build.properties
plugin.xml
plugin.xml_gen
src
src-gen