Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1999

Ключевые слова:

проверка

верификация

абстрактный

интерпретация

символьный

Стр.:

P.747-789.

Библиография:

Bibliogr.: p.786-789

Источник:

ACM Trans. on Programming Languages and Systems

Номер:

4

Том:

21

Карточка:

Б3.54, Б2.23.

Bultan T., Gerber R., Pugh W..

Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results// ACM Trans. on Programming Languages and Systems-1999, №4.-Vol. 21.-P.747-789.
Bibliogr.: p.786-789

Таблица в старой библиотеке:

ACM6 238