Существуют языки формальных спецификаций RSL, SDL, MSC, VDM, Z.
Можно ли их где нибудь достать? Или в интернете существуют лишь их описания?
И ещё вопрос: существуют ли среды автоматического тестирования и верификации, которые в качестве входных данных принимают результирующую информацию, сформированную с помощью одного из языков спецификаций? Можно ли назвать данные системы автоматизированного тестирования, а также указать данные каких типов языков спецификаций они воспринимают?