過去は変えられないが、未来は変えられる。
The future of computing lies in the development of systems that can verify their own correctness.