ViSpec

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
ċ
setup_vispec.air
(925k)
Bardh Hoxha,
Mar 9, 2015, 1:10 AM
Comments