Login / Signup

Application Research of Formal Verification in Aerospace FPGA.

Shiyu LiuDongfang LiWei ShenZhihao WangGuang YangXiaojing Song
Published in: QRS Companion (2021)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • real time
  • image processing
  • symbolic model checking
  • automated verification