About
Visual Specification Editor is a visual tool for editing and exploring system specifications in Signal Temporal Logic (STL).
It was developed by James Scott-Brown as part of the TEBio project.
The source code is available from Github.
Visual Specification Editor is a visual tool for editing and exploring system specifications in Signal Temporal Logic (STL).
It was developed by James Scott-Brown as part of the TEBio project.
The source code is available from Github.