作者们在校对时可能会使用以下几种软件：

Microsoft Word：

作为一款广泛使用的办公软件，Microsoft Word内置了强大的校对功能，包括自动拼写检查、语法检查和标点检查等，是许多作者的首选校对工具。

Grammarly：

这是一款在线校对工具，能够快速、准确地校对文档中的语法、拼写和标点错误，并提供实时反馈和改进建议。

ProWritingAid：

这款文字处理软件功能丰富，包括语法检查和拼写检查，还能提供排版优化、文档格式化和引用管理等其他实用工具。

Hemingway Editor：

这是一款专门用于帮助作者提高写作能力的在线工具，通过分析句子结构和用词选择来评估文本质量并提供修改建议。

爱校对：

这是一款集智能校对、AI写作和网站巡查于一体的软件，能够进行错别字检查、格式校对、标点校对、常识性错误纠正、敏感词过滤和政治性差错识别。

蜜度校对通出版行业专版：

基于蜜度自研的文修智能校对大模型，针对传统软件在专业书稿审校过程中的短板进行了优化和改进，新增了词语误用检测、事实性校对、实体一致性检查和图文一致性检查等功能。

黑马校对V21：

由北京黑马飞腾科技有限公司开发的新一代校对系统，支持多种文字处理和排版系统的文件格式，具有极高的查错准确率和校对效率。

智E审文通智能校对：

用人工智能辅助人工校对，能够从多个方向进行文本纠错，减轻人工校对的负担，提高校对效率。

科大讯飞讯飞知道智能文本校对系统：

基于科大讯飞在NLP领域的核心研究成果，提供智能校对解决方案，能够校对拼写、语法、数字、标点和政治等错误。

实在智能Chat-IDP智能文档审阅：

依托TARS垂直大模型和AI技术，能够自动分析内容密集、篇幅长、非结构化的文档，实现内容风险审查、智能归档、关键信息抽取和比对。

这些软件各有特点，作者们可以根据自己的需求和习惯选择合适的工具进行校对。对于学术写作和出版行业，专业的书稿审校软件如蜜度校对通出版行业专版和黑马校对V21可能更为适用。而对于日常办公和快速校对，Microsoft Word、Grammarly和ProWritingAid等工具则更为便捷高效。