Login / Signup

Certified Verification for Algebraic Abstraction.

Ming-Hsien TsaiYu-Fu FuJiaxiang LiuXiaomu ShiBow-Yaw WangBo-Yin Yang
Published in: CAV (3) (2023)
Keyphrases
  • hardware designs
  • model checking
  • bounded model checking
  • data mining
  • high level
  • face verification
  • formal methods
  • formal analysis
  • hidden markov models
  • formal specification
  • signature verification
  • data abstraction