HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Florian Zuleger

Publications
Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions
Jens Katelaan and Florian Zuleger
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger
In:LPAR-22 Workshop and Short Paper Proceedings
LOOPUS - A Tool for Computing Loop Bounds for C Programs
Moritz Sinn and Florian Zuleger
In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

decision procedure, Disjunctive Invariants, loop bounds, program analysis, separation logic, termination, transitive closure, undecidability.

Copyright © 2012-2023 easychair.org. All rights reserved.