Assured Software, Algorithms, and Information