Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Katelaan, Jens (Corresponding author); Matheja, Christoph (Corresponding author); Noll, Thomas; Zuleger, Florian (Corresponding author)

Manchester] : EasyChair (2018)
Contribution to a book, Contribution to a conference proceedings

In: LPAR-22 : 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning / editors: Gilles Barthe, Geoff Sutcliffe and Margus Veanes
Page(s)/Article-Nr.: 23-36


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]