Die Proceedings des dritten internationalen Workshops „Reachability Problems“ aus Palaiseau (23–25 September 2009) präsentieren aktuelle Forschung zu Erreichbarkeitsfragen in formalen Systemen und liefern theoretischen Informatikern neue Perspektiven auf Analyse- und Verifikationstechniken.