Login / Signup

Re-verification of a Lip Synchronization Protocol using Robust Reachability

Piotr KordyRom LangerakJan Willem Polderman
Published in: FMA (2009)
Keyphrases
  • cryptographic protocols
  • data sets
  • lightweight
  • robust estimation
  • formal verification
  • web services
  • database systems
  • formal analysis
  • application layer
  • colored petri nets