| |
Коннов, В.
Об одном подходе к верификации симметричных параметризованных распределенных систем [Текст] / В. Коннов, А. Захаров
// Программирование. – 2005. – № 5. – 3-17.
Предложенный метод верификации параметризованных систем позволяет проверить некоторый класс параметризованных колец полностью автоматически |
