最近看了下spin的书籍,对于promela建模有个初步的了解,spin主要是用在分布式系统的模型的验证,侧重于协议,不注重计算,要是你是实现协议的验证,那么spin就再合适不过了。推荐下spin的官网:spinroot.com,里面有详细的资料和下载方式。顺便上传下个人认为比较好的一些总结。
关于spin
最新推荐文章于 2021-03-18 23:30:46 发布
最近看了下spin的书籍,对于promela建模有个初步的了解,spin主要是用在分布式系统的模型的验证,侧重于协议,不注重计算,要是你是实现协议的验证,那么spin就再合适不过了。推荐下spin的官网:spinroot.com,里面有详细的资料和下载方式。顺便上传下个人认为比较好的一些总结。