Tools

DiPro – Directed Probabilistic Counterexample Generation Tool Released

After many months of implementation and testing we finally released the DiPro tool for probabilistic counterexample generation tool. I will give a talk on DiPro’s features on the SPIN 2011 Workshop (July 14-15), co-located with CAV 2011 in Snowbird Utah. What is DiPro? Current stochastic model checkers do not make counterexamples for property violations readily …

DiPro – Directed Probabilistic Counterexample Generation Tool Released Read More »

SVN Plugin für Dreamweaver

Es ist einfach lästig, wenn man immer zwischen Dreamweaver und TortoiseSVN hin und her springen muss. SubWeaver schafft hier Abhilfe, das Addin für Dreamweaver, integriert Tortoise SVN in Dreamweaver so das man dort direkt commiten kann. Und das Beste ist, SubWeaver ist absolut umsonst.

Täglich ein Geschenk

Wir leben in einer Zeit in der es nichts mehr um sonst gibt! ? Sollte man zumindest meinen ABER bei Giveaway of the Day bekommt man jeden Tag ein kleines Geschenk 😉Jeden Tag wird dort ein (Shareware-) Programm kostenlos zum download angeboten. Dieses ist dann genau 24 Stunden verf

Splitten von Dateien unter Linux

Vorkurzem wollte ich eine Datei  (5GB) auf einer Linux Maschine teilen, um sie dann mit meinem 1 GB USB Stick auf einen anderen Rechner zu kopieren. (Leider bestand keine Netzwerkverbindung) Das Teilen ist recht einfach : split [OPTION] [INPUT [PREFIX]] Options: -b, –bytes=SIZE       Größe der einzelnen Teile in Bytes Nun ist es zu gegebener Maßen, …

Splitten von Dateien unter Linux Read More »