Когда я выполняю следующий пример с использованием Alloy, v4.2 или v5, я получаю экземпляр, который...

У меня есть следующий простой пример. sig B {} pred P2 {some x1, x2: lone B | x1 != x2} run P2 for...

Это вопрос «передового опыта», а не вопрос о самом языке. Я работаю над разбиением своего проекта...

Я играл со сплавом, пытаясь построить модель, представляющую шаги, которые пользователь мог бы...

Во время моделирования состояний я часто оказываюсь в одной и той же ситуации. Государственная...

Я изучаю Alloy и экспериментирую с созданием предикатов для отношений injective и surjective.Я...

Я хочу передать экземпляр анализатора сплава. Другими словами Как вывести формат txt в виде файла?...

Как установить под платформу Windows для сплава 5.0. Когда я выполняю: java -jar Alloy-5.0.0.1.jar...

Предположим, есть 8 шт. И 1 коммутатор, я хочу разделить три подсети. Как использовать программу на...

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

В моем сообществе в последнее время мы активно используем термин «фальсификация» формальной...

Может кто-нибудь уточнить, что здесь происходит не так: enum Stage { Receive, Check, Drop, Save,...

Простите за кросс-пост ; Я решил спросить и здесь, на случай, если список рассылки окажется...

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

У меня проблема с генерацией мира для последнего предиката, хотя подписей более 3, отображается...

Итак, я создаю кучу подписей, предикатов и фактов Alloy. Я выражаю много отношений. Я пишу на...

В «самом деле F4_All_wanted_books_are_had_by_someone» я пытаюсь сделать так, чтобы все...

У меня есть подпись для представления программ: sig Program { ???: Data -> Result } Каждая...

Я попробовал свои первые шаги в моделировании с Alloy и столкнулся с проблемой, которую я не могу...

Я вижу, что в анализаторе сплавов есть возможность разрешить рекурсию до определенной глубины (1-3)

Недавно у меня появилась возможность обучать человека, который посещает вводный курс информатики на...

У меня есть модель с этим сигналом: sig Thing {} sig World { quantities: Thing ->one Int, } Я...

Я только начал изучать язык модели сплава и пытался написать свою собственную модель массива в...

Я пытаюсь смоделировать связь между числовой переменной и логической переменной, в которой, если...

Я хотел бы создать абстрактную модель и затем автоматически сгенерировать из нее различные...