Ich muss dringend mal die Doku lesen, weiss immer noch nicht wozu diese Seiten gedacht sind. --Marc van Woerkom 18:43, 26. Aug 2004 (CEST)
Hallo Marc. Bitte wirf doch mal einen Blick auf Diskussion:Verifizierung#Model Checking, ich hab' Dir dort geantwortet.
PS: Jetzt weisst Du auch, wozu diese Seite gedacht ist;)
-- D. Düsentrieb (?!) 15:08, 31. Aug 2004 (CEST)
Willkommen
Hallo Marc - Ja, ich habe Deinen Eintrag beim systematischen Durchsehen der neuen Artikel gefunden.
Auf Deine Frage, wozu diese Seiten gut sind: Meist bekommt man eine Begrüßung. (Bei Dir hatten die Admins wahrscheinlich gerade keine Zeit.) Also begrüße ich Dich hiermit nachträglich:
Bitte ersetze
{{Hallo|…}} durch {{subst:Hallo|…}}Für Nachrichten an andere Benutzer solltest Du übrigens immer deren Diskussionsseite benutzen, nur so kriegt er das Schild "Sie haben neue Nachrichten" zu sehen. Die Benutzerseite selbst sollte eigentlich nur der User selbst ändern. --Fenice 16:25, 31. Aug 2004 (CEST)
Abstrakte Interpretation
Die Artikel in den einzelnen Sprachen sind oft ziemlich verschieden. Ich bin keine Informatikerin, aber ich hab mir jetzt grad kurz den englischen Artikel angesehen und ich finde ihn überarbeitungsbedürftig. Teilweise ist alles in der ersten Person formuliert - sehr viel Vertrauen hätte ich zu diesem Artikel schon aus formalen Gründen nicht. Deinen Artikel finde ich (als Nichtinformatikerin) verständlich und auf jeden Fall besser als den englischen. --Fenice 17:05, 31. Aug 2004 (CEST)