Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Rima Tanash"'
Autor:
Andrew Gacek, Cole Schlesinger, Michael W. Whalen, John Backes, Carsten Varming, Rima Tanash, Martin Schaef, Byron Cook, Pauline Bolignano, Kasper Søe Luckow, Neha Rungta
Publikováno v:
IEEE Software. 36:61-65
Formal methods are mathematically based approaches for specifying, building, and reasoning about software. Despite 50 years of research and development, formal methods have had only limited impact in industry. While we have seen success in such domai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c37e1da603d67fbaa3ae6c301606c75
https://doi.org/10.1109/ms.2019.2930609
https://doi.org/10.1109/ms.2019.2930609
