Tuesday, February 21, 2012
11:00am Meeting room 302 (Mountain View), level 3
Alexander Malkis, Post-doctoral Researcher, IMDEA Software Institute
Verification of Software Barriers
Abstract:
This poster describes frontiers in verification of the software barrier synchronization primitive. So far most software barrier algorithms have not been mechanically verified. We show preliminary results in automatically proving the correctness of the major software barriers.