Kestrel Technology/QSS, NASA Ames, Moffett Field, CA 94035, USA;
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:模型检查依赖于推测的安全属性:为声音和完整验证抽象和减少处理器模型?
机译:业务流程合规性检查-为金融部门的概念模型应用和评估通用模式匹配方法
机译:检查与抽象匹配和改进的具体模型
机译:用于字级模型检查的高效抽象和改进
机译:电影中的模型:在具体模型中教授抽象概念
机译:«SPIN中时间逻辑的抽象模型检查和细化