Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.

John Hatcliff, Matthew B. Dwyer

Browse the full CONCUR paper archive.