Dieses Buch führt durch die Theorie rekursiver Beweise, nutzt dabei kontextsensitive Deckungs­mengen und zeigt praxisnah, wie man sie zur Verifikation von Telekommunikationssoftware einsetzt, inklusive Beispielprotokollen.