Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Gorenburg, Jacob"'
Autor:
DiVincenzo, Jenna, McCormack, Ian, Gouni, Hemant, Gorenburg, Jacob, Ramos-Dávila, Jan-Paul, Zhang, Mona, Zimmerman, Conrad, Sunshine, Joshua, Tanter, Éric, Aldrich, Jonathan
Current static verification techniques support a wide range of programs. However, such techniques only support complete and detailed specifications, which places an undue burden on users. To solve this problem, prior work proposed gradual verificatio
Externí odkaz:
http://arxiv.org/abs/2210.02428
Autor:
DiVincenzo, Jenna, McCormack, Ian, Gouni, Hemant, Gorenburg, Jacob, Zhang, Mona, Zimmerman, Conrad, Sunshine, Joshua, Tanter, Éric, Aldrich, Jonathan
Current static verification techniques such as separation logic support a wide range of programs. However, such techniques only support complete and detailed specifications, which places an undue burden on users. To solve this problem, prior work pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0e2dfc5007d69bdca61c25286b5b5f7