An approach to handle real time and probabilistic behaviors in e-commerce
Gregorio Dı́az, Kim G. Larsen, José J. Sanmartín Pardo, Fernando Cuartero, Valentín Valero · 2005
In this work we describe an approach to deal with systems having at the same time probabilistic and real-time behaviors. The main goal in the paper is to show the automatic translation from a real time model based on UPPAAL tool, which makes automatic verification of Real Time Systems, to the RAPTURE tool, which makes verification of probabilistic systems.Furthermore, this approach allows us to use the best techniques developed in both tools (abstraction, refinement, state space reduction, etc). Finally, this translation is applied to verify a case study, the SET internet protocol.