LaViT (LMNtal Visual Tools, formerly called LMNtal Editor) is a graphical integrated development environment of the concurrent programming and modelling language LMNtal.
LaViT allows you to write, run, and model-check LMNtal programs with a simple user interface. In particular, State Viewer visualizes the state space of programs and offers an ideal environment for understanding the properties of programs with nondeterministic behavior.
Further details can be found in How to user LaViT and [[Verification Examples>システム検証例](both in Japanese).
LMNtal is a concurrent language model based on the rewriting of hierarchical graphs composed of atoms, links (to represent connectivity), and membranes (to represent hierarchy).
Manipulation of hierarchical graph structures allows you to describe programs (or models) involving complex data structures and multiset rewriting concisely.
For example, a list sorting program can be written as follows:
r([3,2,4,1]). L=[X,Y|H] :- X>Y | L=[Y,X|H].
and the result is as follows:
The above result can be obtained by pasting the above program into LaViT, saving it to a file, and pressing the SLIM button.
A simple tutorial of LMNtal can be found here．Further details can be found in the LMNtal webpage and publications.
- Attach file: top1.gif 957 download
top2.gif 994 download
editor1.jpg 310 download