Verification of a Signature Architecture with HOL-Z.

David A. Basin Hironobu Kuruma Kazuo Takaragi Burkhart Wolff

Published in: FM (2005)

Keyphrases

signature verification
formal methods
management system
model checking
real time
architectural design
case study
artificial intelligence
data structure
temporal logic
hardware implementation
design considerations