Downloading LaViT: LMNtal Visual Tools (recommended) †The simplest way to get started with LMNtal is to download LaViT (click here), 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 different versions of the LMNtal compiler and runtime, please download one or more of the following.
|