LMNtal运行并行模型检查器

SLIM is an LMNtal runtime written in C language, a model checker based on LMNtal. Requirements Platforms The table below lists the platforms SLIM currently runs on. If you can compile and run on the other platforms, let us know. | OS | CPU | CC | |:-------|:--------|:-------| | Linux | X86, X86_64 | gcc | | Windows XP, Vista, 7 (Cygwin) | X86 | gcc | | Mac OS X Snow Leopard, Lion, Mountain Lion | X86_64 | xcode gcc | Other systems SLIM needs the LMNtal system. You can download the LMNtal system on the site: http://www.ueda.info.waseda.ac.jp/lmntal/

slim-2.2.4
Makefile.in
ltmain.sh
aclocal.m4
depcomp
config.guess
mkinstalldirs
Makefile.am
test
src
missing
third_party
ChangeLog
install-sh
COPYING
configure.ac
compile
ylwrap
config.sub
INSTALL
ext
doc
lib
configure
AUTHORS
NEWS
README
m4