TLA+ Model Checking Made Symbolic

Igor Konnov

Jure Kukovec

Thanh-Hai Tran

Автор: ACM SIGPLAN

Загружено: 2019-10-25

Просмотров: 502

Описание: Authors: Igor Konnov, Jure Kukovec, Thanh-Hai Tran
Presented at SPLASH 2019

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

TLA+ Model Checking Made Symbolic

Доступные форматы для скачивания:

Скачать видео

Информация по загрузке:

Скачать аудио

Похожие видео