Actor system; Rewriting logic; Maude; Composite actor; Statistical model checking;
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:高效的TCTL模型检查算法和归约参与者模型验证的归约技术
机译:使用参与者和模型检查对实时无线传感器和执行器网络进行建模和分析
机译:复合Actor系统的统计模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:使用贝叶斯统计模型检查的生物模型参数自动估计
机译:复合演员系统的统计模型检验