Author:Bernhard Gleiss
Keyphrasesautomated 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-2023 easychair.org. All rights reserved. |