论文部分内容阅读
Model Checking is a widely used technology to verify the design's correctness automatically. Real-time systems' properties include instant properties and duration properties. It is no doubt that checking real-time systems for the latter is much mo