JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

• Authors: CORDEIRO Lucas; KESSELI Pascal; KROENING Daniel; SCHRAMMEL Peter; TRTÍK Marek
• Year of publication: 2018
• Type: Article in Proceedings
• Conference: COMPUTER AIDED VERIFICATION (CAV 2018), PT I
• Web: https://link.springer.com/chapter/10.1007/978-3-319-96145-3_10
• Doi: http://dx.doi.org/10.1007/978-3-319-96145-3_10
• Keywords: JBMC; Bounded Model Checking; Java