A análise de verificação pode ser realizada utilizando EN 1997-1, LRFD ou o método clássico (estados limites, fator de segurança)

EN 1997 – opção de escolher os fatores parciais baseados em anexos Nacionais

EN 1997 – opção de escolher todas as abordagens de design, considera situações de projeto

Análise de acordo com a teoria dos estados limites e o fator de segurança

Camadas de solo generalizadas

Dimensionamento do recobrimento do concreto

Análise de taludes protegidos por malhas

Inclui banco de dados de parâmetros do solo

Admite número arbitrário de forças aplicadas às estruturas (tira, trapezoidal, carga concentrada)

Admite diferentes tipos de forças aplicadas (âncoras , cercas de segurança , etc)

Modelo de água na frente e atrás das estruturas, modelo da água artesiana

Forma geral do terreno por trás da estrutura

Cálculo das pressões de terra em parâmetros efetivos e totais

Efeitos de terremoto (Mononobe-Okabe, Arrango, normas chinesas)

Estabilidade ao longo da superfície de deslizamento reta ou poligonal

Admite várias etapas de construção