JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

CORDEIRO, Lucas, Pascal KESSELI, Daniel KROENING, Peter SCHRAMMEL a Marek TRTÍK. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. In Hana Chockler and Georg Weissenbacher. COMPUTER AIDED VERIFICATION (CAV 2018), PT I. 30th. Oxford, UK: Lecture Notes in Computer Science, 2018, s. 183-190. ISSN 0302-9743. Dostupné z: https://dx.doi.org/10.1007/978-3-319-96145-3_10.

Základní údaje

Originální název

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Název anglicky

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Autoři

CORDEIRO, Lucas, Pascal KESSELI, Daniel KROENING, Peter SCHRAMMEL a Marek TRTÍK

Vydání

30th. Oxford, UK, COMPUTER AIDED VERIFICATION (CAV 2018), PT I, od s. 183-190, 2018

Nakladatel

Lecture Notes in Computer Science

---

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

ISSN

DOI

http://dx.doi.org/10.1007/978-3-319-96145-3_10

UT WoS

000491481600010

Klíčová slova anglicky

JBMC; Bounded Model Checking; Java

Příznaky

Mezinárodní význam, Recenzováno