Login / Signup
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.
Howard Bowman
Giorgio P. Faconti
Joost-Pieter Katoen
Diego Latella
Mieke Massink
Published in:
Formal Aspects Comput. (1998)
Keyphrases
</>
model checker
model checking
lightweight
formal methods
temporal logic
coloured petri nets
timed automata
network protocols
communication protocols
formal analysis
tcp ip
formal specification
petri net
authentication protocol
hidden markov models
neural network
real time