Publications
Export 4 results:
Filters: Author is Jochen Hoenicke [Clear All Filters]
"It's Doomed; We Can Prove It",
Proceedings of the 2nd World Congress on Formal Methods, Berlin, Heidelberg, Springer-Verlag, pp. 338–353, 2009.
"Doomed Program Points",
Form. Methods Syst. Des., vol. 37, Hingham, MA, USA, Kluwer Academic Publishers, pp. 171–199, December, 2010.
"Towards Bounded Infeasible Code Detection",
CoRR, vol. abs/1205.6527, 2012.
Slicing Abstraction using Path Formulas,
: UNU-IIST, 06/2011.
Abstract
Download: report449.pdf (259.72 KB)