Informationen über PSL - assertion based programming

[Danny W. (Gast)]

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

[T.M. (Gast)]

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.