Login / Signup

Small Trojan Testing Using Bounded Model Checking.

Ying ZhangLu YuHuawei LiJianhui Jiang
Published in: ITC-Asia (2018)
Keyphrases
  • bounded model checking
  • formal verification
  • linear temporal logic
  • model checking
  • temporal logic
  • general purpose
  • small number
  • domain independent
  • software testing
  • model checker