[adreid]

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.

[pjmlp]

On the other hand I guess those are nice opportunities for new papers on the domain. :)

Very interesting research area.