Modelling and Model Transformation
In order to model and enable the verification of your models,
you should install both the Eclipse plugin for VECA and the VECA core tool.
The direct use of the VECA JSON format (avoiding the installation of the Eclipse plugin) is possible but not recommended.
to edit models in the VECA DSL and transform them into the VECA JSON format
-- available as an Eclipse update site (easy install)
to transform models in the VECA JSON format into networks of timed automata in the XTA format
-- available as source code only (building from sources is easy thanks to the installation of the stack project builder)
Model Verification
In order to perform timed verification of the models once transformed into networks of timed automata,
you must install at least one of these external tools.
an easy to use and powerful model-checker
-- available as an Eclipse update site (easy install)
an integrated tool environment with verification features for real-time systems
-- available as binaries (easy install)