A Survey of Automated Techniques for Formal Software Verification.
The quality and the correctness of software are often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific flaws. This paper surveys algorithms that perform automatic static analysis of software to detect programming errors o...
| Main Authors: | , , |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
2008
|