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