GitHub repository: KelevraFromRuine/MAandSCAT
Description: Математический аппарат и средства анализа безопасности программного обеспечения