A verification-oriented logfile viewer.