It’s not a vision that computer science ... founding project manager, calls “high-assurance building blocks”—tools that allow programmers to prove the fidelity of their code.