Towards an Automatic Proof of the Bakery Algorithm.

Aman Goel, Stephan Merz, Karem A. Sakallah

Browse the full FORTE paper archive.