Structured Text Verification Studio - STVS
About
A graphical frontend for the verification of Structured Text code using generalized test tables (see GeTeTa). This frontend also eases the understanding of test tables via a timing-diagram that shows a concrete example of a general test table.
Installation
Make sure the following programs are installed:
Download the jar and run it.
On first startup a setup-wizard will open and guide you through the next steps.
Contributing
For more information about contributing and compiling from source check out the contribute guide.