PRISM 属性规范

欢迎来到 PRISM 的 PRISM 属性规范 部分，在这一章节中，你将学到以下内容：

• PRISM 属性规范语言
• PRISM 概率计算表达式
• PRISM 逻辑运算符
• PRISM 状态公式
• PRISM 路径公式
• PRISM 时间约束
• PRISM 奖励属性
• PRISM 稳态属性
• PRISM 量化器
• PRISM 多目标属性
• PRISM 参数合成
• PRISM 属性命名
• PRISM 属性依赖
• PRISM 属性验证策略

Have fun coding!