Hallo Forum, ich bin auf der Suche nach Informationen über PSL. Aktuell habe ich mir das Buch "A Particial Introduction to PSL" ausgeborgt, nur leider wird die kurze Zeit in der das Buch verfügbar ist nicht ausreichen um es ganz zu lesen. Google selbst brachte mich leider auch nicht weiter und privat ist das mir das Buch doch mit in etwa 100E zu teuer. Kennt jemand gute Seiten und erweiterte Infos über das Thema im Internet oder eine billig Alternative zu diesm Buch? Viele Dank im Vorraus, Daniel Weiplinger
Mhm, ich kenne auch nichts weiter dazu, was frei verfügbar wäre. Nur hier und da paar einfache Examples. Und natürlich von IBM, die das ganze als "sugar" vor einer Weile entwickelt haben (da gibts auch das LRM): http://www.haifa.il.ibm.com/projects/verification/sugar/index.html Ich werd demnächst einen Kurs von Doulos zu dem Thema besuchen, damit kommt man vielleicht einen guten Start in das Thema. Da gibts auch den "Golden Reference Guide" dazu. Privat hat das Ganze eh keinen großen Sinn, weil kostenlose Simulatoren PSL eh nicht unterstützen.
Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.