资 源 简 介
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/
