CAV 2025

CAV steht für International Conference on Computer Aided Verification. Es handelt sich um die 37. Konferenz einer Konferenzreihe, die sich der Weiterentwicklung der Theorie und Praxis computergestützter formaler Analysemethoden für Hardware- und Softwaresysteme widmet. Die Konferenz deckte alles ab, von theoretischen Ergebnissen bis hin zu konkreten Anwendungen, wobei der Schwerpunkt auf praktischen Verifizierungstools und den zu ihrer Implementierung erforderlichen Algorithmen und Techniken lag. CAV ist davon überzeugt, dass es von entscheidender Bedeutung ist, die Grenzen der Hardware- und Softwareverifizierung weiter zu erweitern und gleichzeitig in neue Bereiche wie maschinelles Lernen, autonome Systeme und Computersicherheit zu expandieren. Der Konferenzbericht wird in der Reihe „Lecture Notes in Computer Science“ des Springer-Verlags veröffentlicht. Es wird erwartet, dass einige Beiträge zur Veröffentlichung in der Sonderausgabe von „Formal Methods in System Design“ und im „ACM Journal“ eingeladen werden.