JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

• Autoři: CORDEIRO Lucas; KESSELI Pascal; KROENING Daniel; SCHRAMMEL Peter; TRTÍK Marek
• Rok publikování: 2018
• Druh: Článek ve sborníku
• Konference: COMPUTER AIDED VERIFICATION (CAV 2018), PT I
• www: 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
• Klíčová slova: JBMC; Bounded Model Checking; Java