The following publications are possibly variants of this publication:
- Verifying multi-threaded software using smt-based context-bounded model checkingLucas Cordeiro, Bernd Fischer. ICSE 2011: 331-340 [doi]
- SMT-based context-bounded model checking for CUDA programsPhillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro. concurrency, 29(22), 2017. [doi]
- Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model CheckingLucas Cordeiro, Bernd Fischer, João Marques-Silva. ECBS 2010: 160-169 [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]