首页>
外国专利>
A program to enable the verification of orthogonality of asynchronous algorithms generated by logic coupled programs
A program to enable the verification of orthogonality of asynchronous algorithms generated by logic coupled programs
展开▼
机译:一个程序,用于启用逻辑耦合程序生成的异步算法的正交性验证
展开▼
页面导航
摘要
著录项
相似文献
摘要
The present invention proposes a method different from a traditional LCPs verification method, which is different from a method for intentionally establishing verification data and computing it in an LCPs to be verified and intended to intentionally establish an orthogonality of an algorithm for generating an LCPs.The present invention does not use any verification data, but determines the superlinguistic context of the LCPs in the universally invented manner from the LCPs to be verified and analyzes it in a universally determined manner of the present invention In this paper, we propose a method to determine the validity of the algorithm for the LCPs.In this method, all bug events that the LCPs occur during operation are disclosed as bug syntax in the universally known manner of the present invention.If there is no bug syntax in the LCPs, the algorithm that occurs at the time of the LCPs is orthodox.The above described method may be performed by human work or by a computer in accordance with an exclusive program.
展开▼