Analytical method reinforcement

Hello,

Does anybody know which analytical method Sofistik use to calculate the reinforcement of a shell element.

thank you

You can choose which one:
Bemess manual: Ctrl Lay

This video explains it: