Automated Sisal program verification with ACL2 | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Kondratyev D. A.

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

1

Вид:

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

Год:

2019

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

автоматический

доказательство теорем

дедуктивный

верификация

Стр.:

P.172-185

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

Bibliogr.: p.183-185

Место издания:

Источник:

PSI'19 Preliminary Proc.

Карточка:

Kondratyev D. A., Promsky A..

Automated Sisal program verification with ACL2-Novosibirsk.// PSI'19 Preliminary Proc., 2019.-P.172-185
Bibliogr.: p.183-185