Model Checking Concurrent Assembly Algorithms

by Joseph Cordina , Stephen Fenech , Gordon J. Pace