Automated loop invariant inference through learning-guided program structure analysis

Abeer S. Hadad, Jiangbin Zheng, Adeeb A. Ahmed, Fahman Saeed, Mohammad Alkhatib, Safa Hussein Mohammed

DOI: 10.1371/journal.pone.0360726

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.