Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.

Naoyasu Ubayashi Yuki Sato Akihiro Sakai Tetsuo Tamai

Published in: SERA (2008)

Keyphrases

lightweight
model checking
development environments
rfid tags
wireless sensor networks
signature verification
mechanical properties
communication infrastructure
user interface
handheld devices
verification method