This is a tool for finding the best ways of distinguishing finite process models.
For the theoretical background, check out Bisping, Jansen,
Nestmann (2021): Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time
Spectroscopy
The LTBT Spectroscope is developed at MTV TU Berlin by: