资 源 简 介
这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具-This is our country take part in open-source software in 2006 race works, has been on the SourceForge open source, is a response to the Formal Verification of BPEL tools
文 件 列 表
mwb
src
smlnj-lib
Util
CM
x86-win32
mc
lib
bin
Version
README
proveFault
liyong_deadlocks
liyong
deadlocks_trace
bisimulation
action.sig
action.sig.bak
action.str
action.str.bak
agent.sig
agent.str
base.sml
buildit.sml
command.txt
command.txt.bak
commands.sig
commands.str
commands.str.bak
cond.sig
cond.sig.bak
cond.str
cond.str.bak
env.sig
env.str
eqrel.sig
eqrel.str
equiv.sig
equiv.sig.bak
equiv.str
equiv.str.bak
example.txt.bak
faction.sig
faction.str
fagent.sig
fagent.str
flags.sml
fusionsem.sig
fusionsem.str
hashtbl.sig
hashtbl.str
lib.sml
liyong.bak
loadit.sm;
loadit.sm;.bak
loadit.sml
loadit.sml.bak
ly.bat
ly.bat.bak
mwb.bat
mwb.bat.bak
mwb.x86-win32
mwb99-sources.tar
name.sig
name.sig.bak
name.str
name.str.bak
oagent.sig
oagent.sig.bak
oagent.str
oagent.str.bak
opensem.sig
opensem.sig.bak
opensem.str
opensem.str.bak
pi.grm
pi.grm.bak
pi.grm.desc
pi.grm.sig
pi.grm.sml
pi.lex
pi.lex.bak
pi.lex.sml
saction.sig
saction.str
sagent.sig
sagent.str
saveit.sml
saveit.sml.bak
sfaction.sig
sfaction.str
sfagent.sig
sfagent.str
sFormula.sig
sFormula.sml
sname.sig
sname.str
soaction.sig
soaction.str
soagent.sig
soagent.str
soname.sig
soname.str
sortedlist.sig
sortedlist.str
sotest.sig
sotest.str
sources.cm
sPropVar.sig
sPropVar.sml
ssort.sig
ssort.str
stest.sig
stest.str
temp.ly
temp.ly.bak
test.sig
test.str
topcode.str
topcode.str.bak
topinst.sml
topinst.sml.bak
var.sig
var.str
support
documentation.html
support
examples
Application.xml
Specific.xml
Property_bank_no.xml
Property_bank_yes.xml
Bisi_Specific.xml
Bisi_Application.xml
Special.pi.bak
新建 文本文档.txt.bak
ex3-Special.pi.bak
ex2-Special.pi
ex1-Special.pi.bak
ex1-Special.pi
edu
hunnu
webjetchecker
convert
hunnu
webjetchecker
config
config.xml
smlnj.exe
使用指南.txt
