Вопросы с тегом спина - PullRequest

Вопросы с тегом спина

0 голосов
1 ответ

Чтобы создать матрицу в C, нам нужно написать: int[][] a = {{1,2,3},{1,2,3},{1,2,3}} Как создать...

Bekzhan / 07 ноября 2019
2 голосов
1 ответ

Можно ли обойти шахматную доску размером N × N с конем из начальной позиции (I, J), посетив каждый...

Bekzhan / 07 ноября 2019
1 голос
1 ответ

Я уже давно пользуюсь подсистемой Windows для Linux для SPIN (Promela). Тем не менее, без...

Sneha Sahu / 28 октября 2019
2 голосов
1 ответ

С учетом заявления "Когда КМ бездействует и получает запрос на обновление от WCP, он установит ...

Rajdeep / 24 октября 2019
2 голосов
1 ответ

Может ли кто-нибудь объяснить мне порядок того, что происходит в следующем случае? if :: a_channel?

Rajdeep / 19 октября 2019
1 голос
1 ответ

Если я пишу следующий код в Promela и запускаю его в Spin в режиме верификатора, он заканчивается 0...

tgonzaleza / 18 октября 2019
1 голос
1 ответ

Как я могу написать следующий код в Promela: Я пробовал следующее, но я не думаю, что это...

Jan / 24 сентября 2019
0 голосов
0 ответов

Это код, и я получаю сообщение об ошибке. В нем говорится, что «необъявленная переменная: fromS...

user3668628 / 24 мая 2019
1 голос
1 ответ

Я пытаюсь смоделировать поведение других моделей-шашек, используя Spin. Для этого мне нужно иметь...

9thScientist / 09 апреля 2019
1 голос
1 ответ

ispin генерирует это сообщение в окне прогресса (средний нижний экран на вкладке симуляции):...

Moon / 01 апреля 2019
1 голос
0 ответов

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

Moon / 01 апреля 2019
0 голосов
1 ответ

Недавно я начал изучать Promela и хочу смоделировать выбор двух шаров из коробки, в которой у меня...

apologiessirnoclue / 26 февраля 2019
0 голосов
1 ответ

Я работаю над проверкой проверки модели с использованием средства проверки модели вращения при...

Sehrish Batool / 10 февраля 2019
0 голосов
0 ответов

Я написал следующий код Promela.Этот код моделирует ситуацию, когда два процесса увеличивают общий...

Yusuke NOJIMA / 02 февраля 2019
0 голосов
1 ответ

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

MANAL / 16 января 2019
0 голосов
1 ответ

У меня есть этот код promela, и мне нужно смоделировать дублирование сообщений и их повреждение, а...

Memo / 14 января 2019
0 голосов
0 ответов

Я хочу сделать в Promela протокол, который применяет следующее: Пользователь A отправляет запрос...

jff / 03 января 2019
0 голосов
2 ответов

Я получаю это сообщение об ошибке при попытке использовать библиотеку Python в Promela и spin (...

Tania Saleem / 02 января 2019
0 голосов
1 ответ

Будет ли это примером тупика? active proctype test(){ bool one; byte x; one; x = x+11; }

jdoe / 19 декабря 2018
0 голосов
1 ответ

Допустим, у нас есть этот кусок кода: int x = 3; int y = 5; int z = 0; active proctype P(){ if :: x...

jdoe / 10 декабря 2018
0 голосов
1 ответ

Допустим, у меня есть этот фрагмент кода PROMELA active proctype A(){ do :: !x -> break :: else...

user10737996 / 03 декабря 2018
0 голосов
1 ответ

Я изучаю Promela и использую SPIN для моделирования некоторых примеров, которые я нашел.Эта модель...

ritter / 28 ноября 2018
0 голосов
0 ответов

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

JDoe / 30 октября 2018
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...