GitHub repository: michkam89/auditor
Description: Model verification, validation, and error analysis