Здравствуйте, avl-kharkov, Вы писали:

AK>Здравствуйте, thesz, Вы писали:

T>>Что за компания? Что за IT?

AK>Hermes Softlab, Словения.

Там есть пункт "Embedded systems development". Я уточню ваш опыт по этому пункту, поскольку мне это интересно.

Каким средствами формальной верификации вы пользуетесь для разработки встроенных систем?