APTE: An Algorithm for Proving Trace Equivalence.

Vincent Cheval

Browse the full TACAS paper archive.