Safety verification of phaser programs.

Zeinab Ganjei Ahmed Rezine Petru Eles Zebo Peng

Published in: FMCAD (2017)

Keyphrases

early stage
symbolic execution
model checking
hardware designs
safety analysis
formal verification
genetic algorithm
computer programs
face verification
data sets
expert systems
distributed systems
safety critical
control structures
nuclear power plant
road safety