JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Informace o publikaci

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
Citace
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

Studijní programy