ÇóÖª ÎÄÕ ÎÄ¿â Lib ÊÓÆµ iPerson ¿Î³Ì ÈÏÖ¤ ×Éѯ ¹¤¾ß ½²×ù Model Center Æû³µÏµÍ³¹¤³Ì   Ä£ÐÍ¿â  
»áÔ±   
ǶÈëʽÈí¼þ¼Ü¹¹-¸ß¼¶Êµ¼ù
12ÔÂ11-12ÈÕ ±±¾©+ÏßÉÏ
LLM´óÄ£ÐÍÓëÖÇÄÜÌ忪·¢ÊµÕ½
12ÔÂ18-19ÈÕ ±±¾©+ÏßÉÏ
ÐèÇó·ÖÎöÓë¹ÜÀí
2026Äê1ÔÂ22-23ÈÕ ±±¾©+ÏßÉÏ
ÊÓÆµ£º×´Ì¬Í¼ Éú³É ״̬±í£¨WebEA£©     1634 ´Îä¯ÀÀ     33 ´Î   ¾èÖú


ÙÞÌΠ
»ðÁú¹û¿Æ¼¼


ÊÓÆµ½éÉÜ
ÊÓÆµÖ÷Òª½éÉÜWebEAÖеÄ״̬ͼÉú³É״̬±í¡£
¾èÖú




ÆäËûÈË»¹¿´ÁË
Ä£Ð͵ÄÌÖÂÛºÍÌáÎÊ£¨WebEA£© 595 ´Îä¯ÀÀ  
Ä£Ðͼì²éÆ÷-ͼ¼ì²é£¨ Model Checker£© 621 ´Îä¯ÀÀ  
Ä£Ðͼì²éÆ÷¹¦Äܼò½é 771 ´Îä¯ÀÀ  
½²×ù£º»ùÓÚÄ£Ð͵ÄÈí¼þ¿ª·¢ 2038 ´Îä¯ÀÀ  
Êý¾ÝÄ£ÐÍ-DDLÕýÄæÏò£¨iSpace£© 1270 ´Îä¯ÀÀ  
Ä£Ð͵ļ̳Уº×´Ì¬»ú~iSpace 1655 ´Îä¯ÀÀ