Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Zaccai, Diego"'
Autor:
Zaccai, Diego Sebastian
Current tools used to verify software in languages with reference semantics, such as Java, are hampered by the possibility of aliases. Existing approaches to addressing this long-standing verification problem try not to sacrifice modularity because m
Externí odkaz:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619
Publikováno v:
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings; 2014, p92-97, 6p
Autor:
Kulczycki, Gregory, Sitaraman, Murali, Krone, Joan, Hollingsworth, Joseph E., Ogden, William F., Weide, Bruce W., Bucci, Paolo, Cook, Charles T., Drachova-Strang, Svetlana V., Durkee, Blair, Harton, Heather, Heym, Wayne, Hoffman, Dustin, Smith, Hampton, Sun, Yu-Shan, Tagore, Aditi, Yasmin, Nighat, Zaccai, Diego
Publikováno v:
Safe & Secure Software Reuse; 2013, p308-314, 7p
Publikováno v:
NASA Formal Methods (9783642288906); 2012, p195-209, 15p