It's finite element analysis put to a specific purpose - not just checking whether a design works, but iterating toward the leanest design that still works.