# Conformal Equivalence Checking手册
Conformal Equivalence Checking用户指南
Conformal Equivalence Checking用户指南，Conformal L、Conformal XL和Conf
Pragmatic Equivalence and Safety Checking in Cryptol
Toreducethecostofdeveloping,certifying,anddeployingcryptographic
Unraveling Language Equivalence: On-Translation-Equivalence.docx
Delving into the depths of linguistic intricacies, 'On-Translati
Conformal Isoparametric Hypersurfaces with Two Distinct Conformal Principal Curv
共形空间中具有两个共形主曲率的共形等参超曲面，聂昌雄，李同柱，本文研究共形空间中正则超曲面的共形几何。在相差一个共形等量的情形下
Conformal等价性检查命令参考手册
Conformal等价性检查命令参考手册，适用于Conformal L、Conformal XL和Conformal GXL 1
conformal_pitt
conformal slides
Conformal Geometry源码
计算共形几何作业 这个C ++项目框架用于帮助学生实现几何算法。 系统 该代码已经在Windows 10,Ubuntu 18.0
Principles of Model Checking Model Checking经典书籍
ModelChecking经典书籍,如果做形式化验证的话属于必读系列
model checking
the MIT press 介绍模型检测的相关概念，同时还以smv和spin为例说明。
Model Checking
-Model Checking-Model