Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.

Gal Katz, Doron A. Peled

Browse the full ATVA paper archive.