ViSpec is a tool that enables easy elicitation of Metric Temporal Logic requirements. It enables users to formalize specifications through a graphical formalism. 

- Run setup_vispec to install the tool. 

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