Describir: Automatizace statických výpočtů