Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.
由于使用了代码来描述构件行为,就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。
According to different partitions of a set of input variables of the three-valued logic function, the compatibility relations of column (row) vectors of the three-valued logic function can be found.
根据对三值逻辑函数输入变量集合的不同划分,可以求出三值逻辑函数列(行)向量的相容关系。
This will not cause any compatibility problems, but you might want to use it in your Plugin to improve its logic.
这样做不会导致任何兼容性问题,但是你可能希望在插件中使用这一栏,提高插件的逻辑。
应用推荐