Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol.

Eliyah Kilada Kenneth S. Stevens

Published in: VLSI-SoC (Selected Papers) (2010)

Keyphrases

formal methods
case study
lightweight
user interface
design process
design principles
data sets
distributed systems
model checking
efficient implementation
engineering design
hybrid learning
formal verification
hardware designs