Verification of software barriers | Publicación