D120.de/forum

was soll denn in die abgabe dann alles mit rein? alle asserts die uns so eingefallen sind? was ist mit weiteren ausgaben? haben uns noch einige prints eingebaut damit wir den code leichter testen konnten, aber das macht den code an sich unübersichtlicher. wenn die asserts drin bleiben sollen: solle...

Hier ein paar Hinweise: Interleaving kann nach jeder Anweisung stattfinden. Auch nach Guards, denn bei denen handelt es sich im Anweisungen. Dein assert scheint mir ungeeignet, die gewünschte Eigenschaft zu überprüfen. Was soll 'counter == 0' denn an der Stelle aussagen? Niemand druckt? Bedenke, das...

Das ändert ja nichts daran, dass es genaugenommen unzulässig ist, Deklarationen von Variablen nicht zu Beginn des Prozesses zu machen. Ich halte es zwar für eine schlechte Idee, das so zu handhaben, wie Promela das macht, nämlich über die Unzulässigkeit zu schweigen und irgendwelche Anweisungen zu v...

Das hat nicht unbedingt was mit atomic-Blöcken zu tun, sondern damit, dass Promela Deklarationen immer an den Beginn der Prozesse schiebt. Meines Erachtens lohnt es sich nicht wirklich, sich zu fragen, warum oder ob das toll ist, sondern man muss einfach damit leben.

Lies doch mal das Material für die Vorlesung. Aus der Einführung kannst du entnehmen, warum deine Lösung nicht korrekt ist. Im Kapitel "Verifying with SPIN" kannst du nachlesen, wie du deine Modelle verifizieren kannst.

Naja, eine offensichtliche Variante wäre, nur zwei Nachrichten mit dem Server zu empfangen, wenn du genau weißt, dass nur zwei gesendet werden.

Ansonsten gibt es da noch die end-labels.

Dein Server empfängt über den Rendezvous-Channel erst die Nachricht von Client1, dann von Client2, erreicht dann die Anweisung 'request ? num', die aber nie ausgeführt werden kann, weil alle Clients terminiert sind. Daher endet dein Programm mit einem Timeout.

Hab noch eins ausgegraben: Mikhail Bulgakov - The Master and Margarita ( Link ) Ziemlich abgefahrenes Setting (der Teufel kommt nach Moskau und versucht, dort ein wenig Unruhe zu stiften, während andere Handelsstränge das Schicksals eines Schriftstellers und Jesus' Unterredung mit Pontius Pilatur be...

Can hat geschrieben:Und Bret Easton Ellis werde ich mir jetzt definitiv mal näher ansehen.

Das kann nie schaden.

Naja, verschenken will ich sie, weil ich sie nicht wirklich aufbewaren möchte und so Paperbacks auf dem Wiederverkaufsmarkt ca. 1 Cent wert sind. Es hat nichts mit der Qualität des Inhalts zu tun. Die Chuck-Palahnuk-Bücher kann man ganz gut lesen, Generation X hat mir damals nicht so gut gefallen (a...

Ich verschenke folgende Bücher. Bringe sie gern zu einem noch zu vereinbarenden Zeitpunkt ins Piloty mit.

Chuck Palahniuk - Lullaby (Link)
Chuck Palahniuk - Choke (Link)
Douglas Coupland - Generation X (Link)
J. G. Ballard - Crash (Link)

Bei Interesse einfach melden.

Man kann das schon machen, aber C-Code wird vom Verifier als korrekt angenommen. Da es hier nicht im Kern um Programmierung, sondern um Modellierung und Verifikation geht, hast du nichts davon, dass Promela embedded C unterstützt. Promela selbst hat andere Kerneigenschaften als C, z. B. Nichtdetermi...

Vielen Dank für den Link.

Schreibt jemand zufällig diese Klausur und weiß, ob die Inhalte in Unternehmensführung in irgendeiner Weise eingegrenzt wurden oder es in der Vorlesung Hinweise auf die Beschaffenheit möglicher Klausuraufgaben gab? Ich konnte der Vorlesung leider nicht beiwohnen und finde den inhaltlichen Umfang der...

Warum verwendet die App die Permission READ_PHONE_STATE?