Login / Signup

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.

Pierre CombesDavid HarelHillel Kugler
Published in: Softw. Syst. Model. (2008)
Keyphrases
  • software application
  • data sets
  • model checking
  • application specific
  • formal verification
  • modeling tool
  • real time
  • case study
  • multi agent
  • input data
  • software tools