Downloading LaViT: LMNtal Visual Tools

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

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

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