Spacecraft Flight Software (FSW-15)

Oct 27-29, 2015 – Laurel, MD

AdaCore is a sponsor at this event and Tucker Taft will be presenting the paper "Re-Engineering Abstract Interpretation for Precise, Scalable Whole-Program Verification".