Nella versione 2013.e è stato implementato il programma Verifica a punzonamento, eseguibile dal gruppo Strutture del menu principale dei programmi CYPE, che consente di realizzare la verifica dello Stato Limite di Rottura nei confronti del punzonamento in solai in getto pieno e in solai nervati sottoposti a carichi concentrati esercitati da pilastri rettangolari e circolari. Esso permette di verificare i solai dotati o privi di armatura trasversale a punzonamento, tenendo in considerazione la presenza di fori o alleggerimenti in essi e la disposizione dei pilastri (interni, di bordo o d’angolo).
Attualmente, nella versione 2013.j, nel medesimo programma è stata implementata la normativa brasiliana ABNT NBR 6118:2007, già disponibile in altri programmi CYPE. Può ottenere maggiori informazioni circa le normative disponibili nel suddetto programma al paragrafo Normative implementate della pagina Verifica a punzonamento.