Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.

Guy Edward Gallasch Jonathan Billington

Published in: ATVA (2005)

Keyphrases

model checking
neural network
class labels
cellular automata
cryptographic protocols
database
real time
training data
formal analysis
finite automata