It also includes facilities to help program verification.
Tamén inclúe facilidades que axudan á verificación de programas.