Informationen über PSL - assertion based programming

Danny W. Gast 25.03.2008 15:57 #822435

Lesenswert?

•

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

Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden

T.M. Gast 25.03.2008 17:29 #822574

Lesenswert?

•

▲
▼

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.

Antwort Zitieren Bearbeiten Löschen Beitrag melden

Informationen über PSL - assertion based programming

Antwort schreiben