Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.

Gianfranco Ciardo, Gerald Lttgen, Radu Siminiceanu

Browse the full TACAS paper archive.