Computer-Aided Reasoning, Fachbücher von Matt Kaufmann, J. Strother Moore, Panagiotis Manolios

Das Buch "Computer-Aided Reasoning: ACL2 Case Studies" bietet eine umfassende Einführung in die Anwendung des computerunterstützten Beweissystems ACL2 zur Entwicklung, Konstruktion und Wartung von Hardware- und Softwaresystemen. Es enthält technische Beiträge von 21 Autoren, die verschiedene Fallstudien präsentieren, darunter auch bereinigte industrielle Projekte. Die behandelten Themen sind vielfältig und reichen von Fliesskomma-Arithmetik über Mikroprozessorsimulation bis hin zu Modellprüfung und symbolischer Trajektorienbewertung. Das Buch richtet sich sowohl an Fachleute, die innovative Ansätze zur Verbesserung der Effizienz und Zuverlässigkeit in der Systementwicklung suchen, als auch an Studierende, die sich mit rigorosen Methoden in der Hardware- und Softwaretechnik auseinandersetzen möchten. Es ist geeignet für den Einsatz in Graduierten- und fortgeschrittenen Bachelor-Kursen in Software Engineering, formalen Methoden, Hardware-Design, Theorie der Berechnung, künstlicher Intelligenz und automatisiertem Schliessen.