Author:Florian Zuleger
Keyphrasesautomated reasoning, decision procedure, Disjunctive Invariants, intuitionistic logic, loop bounds, model theory, program analysis, proof theory, separation logic, termination, transitive closure, undecidability. |
| ||||||
Copyright © 2012-2024 easychair.org. All rights reserved. |