| 摘要 |
<p>Disclosed herein, a method of automatically verifying software code is provided. The method may include generating a logic representation of the software code, identifying a set of well-defined formula sequences in the logic representation of the software code, and verifying the software code based on the set of well-defined formula sequences. Exemplary embodiments of the verification method verify completeness and consistency of the software code and ensure complete code coverage.</p> |
