{"department":[{"_id":"KrCh"}],"oa_version":"Published Version","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"9644"}]},"year":"2021","publisher":"Association for Computing Machinery","author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"full_name":"Goharshady, Ehsan Kafshdar","first_name":"Ehsan Kafshdar","last_name":"Goharshady"},{"full_name":"Novotný, Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","first_name":"Petr","last_name":"Novotný"},{"id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde","last_name":"Zikelic"}],"abstract":[{"lang":"eng","text":"RevTerm is a static analysis tool for proving non-termination of integer C programs (possibly with non-determinism). RevTerm is an implementation of our method for non-termination proving presented in the paper “Proving Non-termination by Program Reversal”.\r\n\r\n"}],"has_accepted_license":"1","oa":1,"date_published":"2021-06-01T00:00:00Z","article_processing_charge":"No","month":"06","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3410304"}],"ddc":["000"],"date_created":"2024-04-03T09:00:42Z","status":"public","date_updated":"2024-08-13T07:50:14Z","day":"01","_id":"15284","citation":{"mla":"Chatterjee, Krishnendu, et al. <i>RevTerm</i>. Association for Computing Machinery, 2021, doi:<a href=\"https://doi.org/10.1145/3410304\">10.1145/3410304</a>.","ista":"Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. RevTerm, Association for Computing Machinery, <a href=\"https://doi.org/10.1145/3410304\">10.1145/3410304</a>.","short":"K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).","chicago":"Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “RevTerm.” Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3410304\">https://doi.org/10.1145/3410304</a>.","ama":"Chatterjee K, Goharshady EK, Novotný P, Zikelic D. RevTerm. 2021. doi:<a href=\"https://doi.org/10.1145/3410304\">10.1145/3410304</a>","ieee":"K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “RevTerm.” Association for Computing Machinery, 2021.","apa":"Chatterjee, K., Goharshady, E. K., Novotný, P., &#38; Zikelic, D. (2021). RevTerm. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3410304\">https://doi.org/10.1145/3410304</a>"},"doi":"10.1145/3410304","type":"research_data_reference","title":"RevTerm"}