机译:基于Actor的切片技术可有效简化Rebeca模型
Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran;
rnSchool of Computer Science, Reykjavik University, Reykjavik, Iceland Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran;
slicing; actor-based languages; rebeca; model checking; verification; reduction;
机译:Rebeca模型检查中的对称和偏序约简技术
机译:Rebeca模型检查中的对称和偏序约简技术
机译:基于切片的Rebeca约简
机译:基于演员的模型的高效对称性降低
机译:使用模型简化技术进行有效的热仿真。
机译:同时进行多切片采集的切片间泄漏伪影减少技术
机译:基于Actor的切片技术可有效减少Rebeca模型
机译:模型检查'Rebeca'中的对称性和偏序降阶技术