Na versão 2013.e implementou-se o programa Verificação de punçoamento. Este programa, executável desde o grupo Estruturas do menu principal dos programas da CYPE, realiza a verificação do Estado Limite Último de resistência ao punçoamento em lajes maciças submetidas a cargas concentradas de pilares rectangulares e circulares. O programa permite verificar as lajes com ou sem armadura transversal de punçoamento, considerando a presença de aberturas ou aligeiramentos na laje, e a disposição dos pilares (interior, faceado ou no canto).
Agora, na versão 2013.j, implementou-se a norma ABNT NBR 6118:2007 do Brasil no programa Verificação de punçoamento que já estava disponível em outros programas da CYPE. No ponto Normas implementadas da página Verificação de punçoamento pode consultar a norma disponível para este programa da CYPE.