HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Bernhard Gleiss

Publications
Loop Analysis by Quantification over Iterations
Bernhard Gleiss, Laura Kovács and Simon Robillard
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Local Soundness for QBF Calculi
Martin Suda and Bernhard Gleiss
EasyChair Preprint 362

Keyphrases

automated reasoning, first-order logic, invariant generation, IRM-calc, long-distance resolution, loop, partial strategy, program verification, QBF calculi, semantics, strategies, termination, winning strategy.

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