The following publications are possibly variants of this publication:
- ESBMC 1.22 - (Competition Contribution)Jeremy Morse, Mikhail Ramalho, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002. TACAS 2014: 405-407 [doi]
- ESBMC-GPU A context-bounded model checking tool to verify CUDA programsFelipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho. SCP, 152:63-69, 2018. [doi]
- Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution)Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002. TACAS 2013: 619-622 [doi]
- ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro. TACAS 2024: 376-380 [doi]
- ESBMC 6.1: automated test case generation using bounded model checkingMikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro. STTT, 23(6):857-861, 2021. [doi]
- JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution)Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel. TACAS 2019: 219-223 [doi]