Login / Signup
Using Model Checker to Analyze and Test Digital Circuits with Regard to Delay Faults.
Josef Strnadel
Published in:
DDECS (2021)
Keyphrases
</>
digital circuits
model checker
model based diagnosis
test suite
model checking
test cases
formal verification
formal methods
formal specification
description language
data flow
finite state machines
temporal logic
dynamic systems
ai planning
set theory
databases