Verification of Program by Inspecting Internal Relations Relying on User Requirements
Software verification can ensure the software quality by inspecting the properties of program. A key issue for software verification is to check whether the software can meet user requirements especially when the requirements change frequently. To tackle this problem, we propose an approach to verif...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2018-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8359281/ |