Eine Sammlung aktueller Forschungsergebnisse aus der 26. Internationalen Konferenz Computer Aided Verification, die neue Techniken zur formalen Analyse komplexer Softwaresysteme beleuchtet und praxisnahe Anwendungen für Entwickler bietet.