Login / Signup
Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience.
Khaza Anuarul Hoque
Otmane Aït Mohamed
Yvon Savaria
Published in:
SysCon (2016)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
design methodology
formal methods
program slicing
user experience
video processing