In campo statico le formule analitiche sono sicuramente le migliori.
Tra BH e EC7 (che è un BH modificato) si possono fare un pò di simulazioni per vedere le differenze.

Quella sull'EC8 è necessaria per la verifica ( verifica e non progetto ) in campo sismico.

Non ci sono software, nè credo sia bene affidarsi a essi soprattutto in campo sismico, excel fatti bene li trovo più efficaci.

m.