Login / Signup

Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience.

Khaza Anuarul HoqueOtmane Aït MohamedYvon 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