Login / Signup
Small Trojan Testing Using Bounded Model Checking.
Ying Zhang
Lu Yu
Huawei Li
Jianhui 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