Hi, I am professor at the university and I am interested in apply model checking to the Qt-State Machine Framework.
For that purpouse, I would be very interested in knowing if the qt-scxml proyect is still alive and, if possible, to have some contact with person in that proyect. Someone could help me, please. Thanks, A. Cano -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com _______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com http://lists.trolltech.com/mailman/listinfo/qt-creator