Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic.

Laurent Fribourg, Hans Olsn

Browse the full CONCUR paper archive.