mostly on computers and mathematics
Dump a program's state. Upgrade the program. Reload state.
Formally prove that nothing goes wrong.
This would be helpful for seamless, automatic, unattended upgrades.
Previously
Post a Comment
No comments :
Post a Comment