Automated Theorem Proving in Software Engineering, Fachbücher von Johann M. Schumann

Das Buch "Automated Theorem Proving in Software Engineering" bietet eine umfassende Einführung in die automatisierte Theorembeweisführung (ATP) und deren Anwendung in der Softwaretechnik. Es markiert einen bedeutenden Fortschritt in der Relevanz von ATP für Fachleute in der Informatik und Mathematik. Der Autor, Johann M. Schumann, beleuchtet die Entwicklung von ATP und dessen Integration in reale Anwendungen, insbesondere als zentrale Komponenten in der Verifikation und Generierung von Computerprogrammen und Hardware. Das Werk ist nicht nur eine Dokumentation, sondern auch eine Analyse der wachsenden Bedeutung von ATP in der Industrie. Es wird auf die historische Entwicklung des Feldes eingegangen, beginnend mit den ersten computergestützten mathematischen Beweisen in den 1950er Jahren. Dieses Buch richtet sich an Leser, die ein tieferes Verständnis für die Funktionsweise und die praktischen Anwendungen von automatisierten Theorembeweisern suchen.