“The ability to simplify means to eliminate the unnecessary so that the necessary may speak.”
|--(Hans Hofmann, 1880–1966)|
XSPIN is the graphical interface to SPIN that for many users is the first introduction to the tool. It can be a considerable benefit, though, if the user is familiar with the basic operation of SPIN before switching to XSPIN, especially when more subtle design problems are encountered.
The interface operates independently from SPIN itself. It synthesizes and executes SPIN commands in the background, in response to user selections and button clicks. Nonetheless, this front-end tool supplies a significant added value by providing graphical displays of, for instance, message flows and time sequence diagrams. ...