2LS: Memory Safety and Non-termination - (Competition Contribution)
暂无分享,去创建一个
Mandayam K. Srivas | Peter Schrammel | Tomás Vojnar | Viktor Malík | Stefan Marticek | Johanan Wahlang | M. Srivas | P. Schrammel | Stefan Marticek | Tomáš Vojnar | Viktor Malík | Johanan Wahlang
[1] Daniel Kroening,et al. 2LS for Program Analysis - (Competition Contribution) , 2016, TACAS.
[2] Daniel Kroening,et al. A Tool for Checking ANSI-C Programs , 2004, TACAS.
[3] Reinhard Wilhelm,et al. A semantics for procedure local heaps and its abstractions , 2005, POPL '05.
[4] Daniel Kroening,et al. Safety Verification and Refutation by k-Invariants and k-Induction , 2015, SAS.
[5] Daniel Kroening,et al. Bit-Precise Procedure-Modular Termination Analysis , 2017, TOPL.