Решаемые задачи:

1. Реализация высокоуровневых абстракций, моделей поведения, алгоритмов, конечных автоматов, имеющих частое применение. С целью практического использования в различных проектах.
2. Разработка вспомагательных инструментов для проведения модульного тестирования. В том числе для нетривиальных случаев: модели многопоточного программирования; регулярные выражения; оценка производительности.