Did it really just say they want to do it in Rails? Never heard of anyone proving the safety of a Rails app.

For that matter, not sure what language they should write it in. Maybe Standard ML?

All I know is that Rails is awesome for building a lot of cool stuff very quickly - but there are better solutions for building a single thing that is indestructible.