Ta上传的资源 (0)

主要是一些uppaal的教程,可以通过这些教程对如何使用uppaal有个初步了解。以上就是这份资料的主要内容了。。。

OpenVINO的深度学习部署工具套件主要包括两部分,一个是模型优化器,另外一个是推理引擎。模型优化器是由Python编写的,推理引擎是一套C++函数库以及C++的类

是由新加坡国立大学开发的一款形式化建模与验证工具集，支持进程代数、实时进程代数、时间自动机等多种建模语言。PAT工具的人机交互界面友好，支持多种验证方法，包括精化验证、死锁验证、可达性验证、LTL性质验证等。

主要实现了MIPS指令的译码操作，通过输入的二进制码转化为对应的指令，并执行指令

jSpinisagraphicaluserinterfacefortheSpinmodelcheckerthatisusedforverifyingconcurrentanddistributedprograms.