The Model Checker SPIN

时间:2012-09-05 11:22:03
【文件属性】:

文件名称:The Model Checker SPIN

文件大小:248KB

文件格式:PDF

更新时间:2012-09-05 11:22:03

spin

SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone exchanges. This paper gives an overview of the design and structure of the verifier, reviews its theoretical foundation, and gives an overview of significant practical applications.


网友评论