Efficient Verification using Generalized Partial Order Analysis.

Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin

Browse the full DATE paper archive.