Parasitic Circus: On the Feasibility of Golden Free PCB Verification.

Maryam Saadat-Safa Patrick Schaumont Shahin Tajik

Published in: CoRR (2024)

Keyphrases

model checking
defect detection
multi agent
practical application
printed circuit boards
cryptographic protocols
data mining
social networks
decision trees
image segmentation
signature verification
formal verification
concurrent systems