【回眸】Polyspace教程（一） 小白使用篇

前言

最近公司换工具换的比较频繁，几乎全换了一遍，QAC也和Tessy一样淡出了工具栏。最近开始学习使用Polyspace，乘记忆还新鲜，出个使用Guide记录一下，攒攒人品。

软件信息

软件身份确认

• 软件名称：Polyspace Code Prover™（含桌面版、服务器版）
• 所属公司：The MathWorks, Inc.
• 依赖平台：必须与 MATLAB 一同安装（Polyspace 是 MATLAB 的附加产品）
• 当前版本：R2025b（即 2025 年下半年发布版本）
• 文档性质：官方安装指南（Installation Guide）

⚠️ 重要前提：Polyspace 不是独立软件，必须通过 MATLAB 安装器或 MATLAB 环境进行安装。

软件安装

步骤 1：准备安装环境

• 操作系统：Windows / Linux / macOS（需查看具体系统要求，通常 Windows/Linux 支持更全，尤其是服务器版）
• 已安装 MATLAB？
  • 如果&n