LTSVIEW(1) - manual page | User commands

3D interactive visualization of a labelled transition system.