ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation-Reference-Cited by-同舟云学术

ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation

Published:2022-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Menezes Rafael¹,Moura Daniel²,Cavalcante Helena²,de Freitas Rosiane²,Cordeiro Lucas C.¹

Affiliation:

1. University of Manchester, UK / Federal University of Amazonas, Brazil

2. Federal University of Amazonas, Brazil

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3533767.3543294

Reference12 articles.

1. The Algorithms. 2022. TheAlgorithms/Kotlin (Github repository). https://github.com/TheAlgorithms/Kotlin The Algorithms. 2022. TheAlgorithms/Kotlin (Github repository). https://github.com/TheAlgorithms/Kotlin

2. Joogie

3. Progress on software verification: SV-COMP 2022;Beyer Dirk;TACAS.,2022

4. Edmund M Clarke , Thomas A Henzinger , Helmut Veith , and Roderick Bloem . 2018. Handbook of model checking. 10 , Springer . Edmund M Clarke, Thomas A Henzinger, Helmut Veith, and Roderick Bloem. 2018. Handbook of model checking. 10, Springer.

5. Lucas Cordeiro , Pascal Kesseli , Daniel Kroening , Peter Schrammel , and Marek Trtik . 2018 . JBMC: A bounded model checking tool for verifying Java bytecode. In CAV. 183–190. Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, and Marek Trtik. 2018. JBMC: A bounded model checking tool for verifying Java bytecode. In CAV. 183–190.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ESBMC-Python: A Bounded Model Checker for Python Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11