Validation, verification and implementation of timed protocols using AORTA.

Steven Bradley William Henderson David Kendall Adrian Robson

Published in: PSTV (1995)

Keyphrases

protocol specification
petri net
model checking
implementation details
real time
artificial intelligence
database systems
efficient implementation
formal verification
cryptographic protocols
timed automata
higher throughput