Login / Signup
Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests.
Hiroshi Iwata
Nanami Katayama
Ken-ichi Yamaguchi
Published in:
IEICE Trans. Inf. Syst. (2017)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
test cases
fault diagnosis
bounded model checking
automated verification
program slicing
scan data
expert systems
fault detection
parameter identification
fault model