Verification of Program by Inspecting Internal Relations Relying on User Requirements.
Yuzhou LiuLei LiuHuaxiao LiuHongji YangPublished in: IEEE Access (2018)
Keyphrases
- user requirements
- end users
- hardware designs
- symbolic execution
- model checking
- semantic relations
- programming environment
- static analysis
- program execution
- formal verification
- temporal relations
- internal and external
- database
- spatial relations
- computer programs
- expert systems
- control program
- social networks
- false acceptance rate
- data sets