10 октября 2010 · КомментарийБез заголовкаИмя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на записьТ.е. например так: описание на "24744-языке" -> описание в "15926-темплейтах" -> модель в "моделирующем ассемблере" -> запускаем, генерируются важные случаи, неустойчивости, развилки, дедлоки и дедлайны и т.п.