机译:用于模型检查的多值模态不动点逻辑
Department of Information Systems, Faculty of Environmental and Information Studies, Tottori University of Environmental Studies, Tottori-shi, 689-1111 Japan;
fixed point logic; de morgan algebra; heyting algebra; min-plus algebra;
机译:用于模型检查的多值模态不动点逻辑
机译:基于多价措施的计算树逻辑模型检查
机译:基于多值逻辑的模型检查软件产品线
机译:用于模型检查的多值模态不动点逻辑
机译:弥合逻辑和概率模型检查之间的差距。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:用于模型检查的多值模态固定点逻辑
机译:使用多值逻辑的脑模型