IEEE High Assurance Systems Engineering Symposium

Jan 7-9, 2016 – Orlando, FL

Tucker Taft will present the paper "High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles", co-authored by Altran's Florian Schanda and AdaCore's Yannick Moy.