Verification in Staged Tile Self-Assembly.

Robert T. Schweller Andrew Winslow Tim Wylie

Published in: CoRR (2017)

Keyphrases

model checking
asynchronous circuits
face verification
signature verification
database
three dimensional
multiscale
neural network
multi agent systems
formal methods
formal verification
cryptographic protocols