Using live sequence charts for hardware protocol specification and compliance verification.

Annette Bunker Ganesh Gopalakrishnan

Published in: HLDVT (2001)

Keyphrases

protocol specification
communication protocols
formal specification
real time
formal methods
low cost
model checking
computer systems
artificial intelligence
knowledge base
database systems
expert systems
object oriented
process algebra