Safety Verification of Phaser Programs.
Zeinab GanjeiAhmed RezinePetru ElesZebo PengPublished in: CoRR (2017)
Keyphrases
- early stage
- symbolic execution
- hardware designs
- safety analysis
- case study
- model checking
- verification method
- computer programs
- functional verification
- real time
- control structures
- safety critical
- test generation
- intermediate level
- formal verification
- answer sets
- expert systems
- face recognition
- high level
- computer vision
- artificial intelligence
- neural network