Islaris: Verification of Machine Code Against Authoritative ISA Semantics

Описание к видео Islaris: Verification of Machine Code Against Authoritative ISA Semantics

https://pldi22.sigplan.org/details/pl...

Комментарии

Информация по комментариям в разработке