{"doi":"10.1145/3410304","citation":{"short":"K. Chatterjee, A.K. Goharshady, P. Novotný, D. Zikelic, (2021).","chicago":"Chatterjee, Krishnendu, Amir 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>.","apa":"Chatterjee, K., Goharshady, A. 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>","ama":"Chatterjee K, Goharshady AK, Novotný P, Zikelic D. RevTerm. 2021. doi:<a href=\"https://doi.org/10.1145/3410304\">10.1145/3410304</a>","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>.","ieee":"K. Chatterjee, A. K. Goharshady, P. Novotný, and D. Zikelic, “RevTerm.” Association for Computing Machinery, 2021.","ista":"Chatterjee K, Goharshady AK, Novotný P, Zikelic D. 2021. RevTerm, Association for Computing Machinery, <a href=\"https://doi.org/10.1145/3410304\">10.1145/3410304</a>."},"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"last_name":"Goharshady","full_name":"Goharshady, Amir Kafshdar","orcid":"0000-0003-1702-6584","id":"391365CE-F248-11E8-B48F-1D18A9856A87","first_name":"Amir Kafshdar"},{"id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","first_name":"Petr","last_name":"Novotný","full_name":"Novotný, Petr"},{"first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","last_name":"Zikelic"}],"oa":1,"date_published":"2021-06-01T00:00:00Z","_id":"15284","main_file_link":[{"url":"https://doi.org/10.1145/3410304","open_access":"1"}],"has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000"],"year":"2021","date_updated":"2024-04-09T07:35:00Z","publisher":"Association for Computing Machinery","title":"RevTerm","related_material":{"record":[{"relation":"used_in_publication","id":"9644","status":"public"}]},"oa_version":"Published Version","day":"01","date_created":"2024-04-03T09:00:42Z","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"}],"status":"public","month":"06","department":[{"_id":"KrCh"}],"type":"research_data_reference","article_processing_charge":"No"}