Verus is a verification tool that uses computer-aided theorem proving to statically verify the full...