Architecture for external tools and analyses
There is a many-to-many relation between analyses and external tools (e.g. yices can be used for non-determinism checking and scheduling, nusmv for model-checking and test case generation, etc).
Should each external tool have its own plugin?
Should each analysis have its own 2 plugins (e.g. org.fortiss.af3.nondeterminism, org.fortiss.af3.nondeterminism.ui) ?
(from redmine: issue id 328, created on 2011-11-26, closed on 2013-01-04)
- Relations:
- parent #841 (closed)