Synthesis of synchronization using uninterpreted functions.

Roderick Bloem, Georg Hofferek, Bettina Knighofer, Robert Knighofer, Simon Ausserlechner, Raphael Spork

Browse the full FMCAD paper archive.