LTSVIEW(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💖 LTSVIEW(1) — the manual page, but make it a group chat 💖

okay so real talk, this is the ltsview page from the mCRL2 toolset man pages, and I'm gonna walk you through literally every single line of it. no skips. no "you'll figure it out". we're doing this together bestie 🫶

✨ NAME ✨

LTSView — the app that gives you 3D interactive visualization of a labelled transition system. yes. three dee. you can literally spin your LTS around and look at it from every angle. it's giving main character energy for your state space 🔥

🎀 SYNOPSIS 🎀

LTSView [OPTION]... [INFILE]

that's it, that's the whole vibe. some options, maybe a file, we go 💅

🌸 DESCRIPTION 🌸

so you run this and the LTSView application starts up. and if you hand it an INFILE, then the LTS that's sitting inside INFILE gets loaded straight into the app. no cap, that's the whole thing 🦋

now here's the cute part — the input format is determined by the contents of INFILE. the app literally sniffs the file and figures out what it's looking at ✨ but if that fails? it makes an attempt to force the input format based on the file extension instead. backup plan energy, we love to see it.

here are the supported formats with file extensions (copying these exactly, do not @ me):

  • Aldebaran format (CADP; *.aut);
  • GraphViz format (*.dot);
  • Finite State Machine format (*.fsm);
  • mCRL SVC format (*.svc);
  • mCRL2 format (*.lts).

💅 OPTIONS 💅

OPTION can be any of the following, and yes I'm listing all of them, we don't do "etc." here:

  • --timings[=FILE] — appends timing measurements to FILE. and if you don't give it a FILE? the measurements get written to standard error instead. thoughtful king 👑

⭐ Standard options ⭐

  • -q, --quiet — do not display warning messages. silence. peace. 🧘
  • -v, --verbose — display short log messages.
  • -d, --debug — display detailed log messages.
  • --log-level=LEVEL — display log messages up to and including LEVEL; it's either warn, verbose, debug or trace. pick your fighter 🥊
  • -h, --help — display help information.
  • --version — display version information.
  • --help-all — display help information, including hidden and experimental options. ooooh secret menu 👀✨

👑 AUTHOR 👑

Written by Bas Ploeger, Carst Tankink, Ruud Koolen. legends, all three of them. we stan 💜

🙈 REPORTING BUGS 🙈

found a bug? report bugs at <http://www.mcrl2.org/issuetracker>. be nice, be specific, give them the deets 🫶

Copyright © 2025 Technische Universiteit Eindhoven.

This is free software. You may redistribute copies of it under the terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>.

and it is NO WARRANTY, to the extent permitted by law. like, none. zero. nada. 💀

🦋 SEE ALSO 🦋

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/LTSView.html>. go read it, it's the full lore iykyk 📚

okay that's the whole page!! this is LTSView, part of the mCRL2 toolset 202507.0..., dated October 2026, and that's LTSVIEW(1) signing off — bye bestie, go visualize something gorgeous 🌟🎀💖

📦 where this page comes from