Mir wäre nicht benutzt, daß es irgendein absturzsicheres System gibt, von einfachen fest verdrahteten Geräten mal abgesehen. Bei moderner Software ist es nicht möglich, alle möglichen Zustände zu testen (weil die Zahl der Zustände und möglichen Beeinflussungen gegen unendlich geht); allenfalls einfache, unveränderbrae Systeme mit beschränktem I/O (beispielsweise ein Taschenrechner) lassen sich vollständig verifizieren.