机译:通过谓词抽象将定理证明与模型检查相结合
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:洪水预警,监测和救援系统的正式建模,证明和模型检查
机译:证明ptolemy对:用于模型检查并发系统的环境抽象框架
机译:模型检查和定理证明:一个统一的框架。
机译:引入动态知识表示框架的移植免疫学控制结构的框架:利用基于实体器官移植代理的模型利用抽象的力量
机译:证明ptolemy权利:模型检查并发系统的环境抽象框架
机译:混合系统模型检测中的抽象与反例引导细化