Formal Verification of Self-Assembling Systems

Aaron D. Sterling

Published in: CoRR (2010)

Keyphrases

formal verification
automated verification
model checking
management system
learning systems
real time
open source