Tool + UPPAAL-SMC (statistical model checker)
Hello,
TTool/AVATAR: state machines may use probabilistic laws. It would be nice if TTool's model checker would take probabilities into account. Avenue to explore: TTool may be interfaced with UPPAAL-SMC
A PhD of mine is in the process of modeling a battery. Probabilities will be used. We would be grateful if the TTool company would release a new version of the tool to support stochastic model checking.
Thanks in anticipation
Pierre de Saqui-Sannes, ISAE-SUPAERO, Toulouse, France
Submitted by external user pdss@isae.fr