Author:Bernhard Gleiss

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.