DESCRIPTION ViSpec is a tool that enables easy elicitation of Metric Temporal Logic requirements. It enables users to formalize specifications through a graphical formalism. INSTALLATION - Run setup_vispec to install the tool. CONTACT/SUPPORT Found ViSpec useful in your research? Wish to report a bug? Have any suggestions or questions? Would you like to be added to future releases of ViSpec? Please feel free to contact Bardh Hoxha at bhoxha at asu dot edu |