О проекте: Проект предполагал разработку языка, позволяющего описывать тесты для проверки поведения модулей взаимодействующих друг с другом посредством событий. Конструкции языка позволяют описывать тестовые сценарии состоящие из отправок и приема сообщений модулю-агенту или группе модулей. Контроль ожидаемой реакции модуля на события осуществляется через проверку типа входящего сообщения и контроля значения его параметров.

В настоящее время разработанный язык активно применяется в процессе разработки продуктов на базе микро-ядра.