Hallo,
vielleicht dieses noch zur Information, es wird ein mc_err.log beim starten von Modelcheck in das aktuelle Verzeichnis geschrieben mit folgendem Inhalt:DATE:Tue Sep 03 2002 09:14:44
ERROR: -ERR- mcServerInit: server file [d:\PTC\2001/i486_nt/obj/mc_server.exe] access error.
DATE:Tue Sep 03 2002 09:14:44
ERROR: mcAsyncInit() mcServerInit() rc[-1]
DATE:Tue Sep 03 2002 09:14:44
ERROR:
ModelCHECK - Async Server wird nicht ausgefuehrt.
DATE:Tue Sep 03 2002 09:14:44
ERROR:
ModelCHECK Java will not be available.
Kann mir denn zu diesen Problem keiner weiterhelfen.
Ich hoffe auf unsere Moderatoren von der Firma RAND bzw. DENC.