That is the project we are trying to support with our work. Unfortunately, this means I have to solve lots of hard problems like scaling, usability, modular verification, etc.
On the other hand I guess those are nice opportunities for new papers on the domain. :)