Downloading LaViT: LMNtal Visual Tools (recommended)

The simplest way to get started with LMNtal is to download LaViT;, an integrated development environment (IDE) for LMNtal. LaViT comes with the whole family of LMNtal subsystems: compiler, runtime, model checker, and visualizer.

&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);

Downloading the LMNtal Family

If you wish to use the LMNtal compiler and runtimes as stand-alone software, please download one or more of the following.

Downloading LMNtal Java

Downloading SLIM

Downloading UNYO-UNYO

Front page List of pages Search Recent changes Backup   Help   RSS of recent changes