Klever

At the moment one has to go to a server where a scheduler is launched, install there a new verification tool and update configuration to point it out. Instead I suppose that users will specify a new verification back-end version and archive using Bridge. Then everything will be done automatically (Bridge will send them to schedulers, schedulers will install them and update configurations).