verifikationbar

Verifikationbar bezeichnet die Eigenschaft eines Anspruchs, einer Aussage, eines Designs, Prozesses oder Systems, sich durch Beweise, Tests oder formale Beweistechniken eindeutig verifizieren zu lassen. Ein verifikationbarer Anspruch lässt sich so prüfen, dass seine Richtigkeit mit ausreichender Evidenz demonstriert werden kann, sei es durch logische Beweise, experimentelle Daten oder durch formale Verifikation. Der Begriff ist in der deutschen Fachsprache nicht sehr gebräuchlich; häufiger verwendet man das Adjektiv verifizierbar oder spricht von Verifizierbarkeit. Wenn doch von verifikationbar die Rede ist, handelt es sich meist um eine stilistische Variante in bestimmten Fachkreisen.

Etymologisch basiert der Begriff auf dem Substantiv Verifikation (Verifikation) und dem Suffix -bar, das „ist zu … fähig“ bedeutet. Die zugrundeliegende Bedeutung knüpft an das Streben nach Wahrheitsbestätigung durch Beweise oder formale Belege an.

Anwendung und Reichweite: In Wissenschaft und Technik beschreibt verifikationbar oft, dass eine Behauptung oder ein System eindeutig bestätigt oder widerlegt werden kann. In der Mathematik bedeutet es, dass eine Behauptung durch einen formalen Beweis verifiziert werden kann; in der Informatik bedeutet es, dass ein System durch Tests, Modellprüfung oder formale Verifikation nachweislich korrekt ist. Nicht alle Aussagen sind verifikationbar; manche lassen sich nur theoretisch diskutieren oder ihre Verifikation ist unpraktisch oder außerhalb des Prüfbereichs.

Siehe auch: Verifikation, Verifizierbarkeit, Falsifizierbarkeit, Verifikation in der Softwareentwicklung.