Ein wissenschaftliches Sammelwerk aus dem 10. NASA Symposium zu formalen Methoden, das theoretische Grundlagen, innovative Algorithmen und praxisnahe Fallstudien zur Softwareverifikation in der Raumfahrt detailliert darstellt.