JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution)
暂无分享,去创建一个
[1] Daniel Kroening,et al. A Tool for Checking ANSI-C Programs , 2004, TACAS.
[2] Daniel Kroening,et al. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode , 2018, CAV.
[3] Daniel Kroening,et al. Incremental bounded model checking for embedded software , 2017, Formal Aspects of Computing.
[4] Guodong Li,et al. PASS: String Solving with Parameterized Array and Interval Automaton , 2013, Haifa Verification Conference.
[5] Dirk Beyer,et al. Automatic Verification of C and Java Programs: SV-COMP 2019 , 2019, TACAS.