Login / Signup
Verification Patterns for Rapid Embedded System Verification.
Wei-Tek Tsai
Feng Zhu
Lian Yu
Raymond A. Paul
Chun Fan
Published in:
Embedded Systems and Applications (2003)
Keyphrases
</>
model checking
formal methods
databases
case study
temporal logic
computer vision
metadata
bayesian networks
pattern analysis
cryptographic protocols
similar patterns
verification method
concurrent systems