Couple years ago I decide to know more about TLA+. TLA+ is a tool for writing
formal specifications, it allows to find errors in system's design before
writing source code. Unfortunately maintainers builds packages for MacOS and
Linux only and there is no packages for OpenBSD. TLA+ components written in
Java programming language and in fact all of them should run on any platform
where JVM is availaible. However TLA+ Toolbox built on top of Eclipse and
OpenBSD port for it is outdated for a long time. This post about using TLA+ on
OpenBSD without IDE.