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


T>Alloy и похожее вы не использовали?
T>Коллеги с помощью Alloy выявляли ошибки в спецификациях разных ZigBee и прочих.
T>An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions (1993)
T>Там есть описание, как применяли Z notation в Tektronics, AFAIR (может, это во втором томе, я точно не помню). Как связаны Tektronics и осциллографы, наверное, известно?
T>Производительность труда у Тектрониксов выросла, надо отметить.

Про Tektronics известно, ибо их продукцию и используем С Alloy не сталкивался.
И спасибо за ссылки и возможность открыть для себя что-то новое, обязательно ознакомлюсь.