real-time system; timing verification; real-time logic; model-checking; symbolic model checking;
机译:使用符号模型检查自动验证批处理过程的运行计划:闩锁模型与实时
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:用于实时规范的模型检查$$$$模型检查和符号模型检查
机译:用于大型软件规格的符号模型检查。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:离散时间模型的实时符号模型检验
机译:离散时间模型的实时符号模型检验