Hi, A new TOPCASED project has been released: EventB project. This project aims to integrate the event B language into TOPCASED. Event B is a formal language based on B language using events to describe systems. This project is developped by the company ClearSy (www.clearsy.com).
See http://gforge.enseeiht.fr/projects/eventb/ for more information. Best regards, Philippe BLANC _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
