Organizers Klaus Havelund NASA Ames Research Center/Kestrel Technology, USA havelund@ptolemy.arc.nasa.gov Grigore Rosu NASA Ames Research Center/RIACS, USA grosu@ptolemy.arc.nasa.gov [ASE Group at NASA]