Seminar "Formal Specification"

Published on 15.12.2011
Published in mais tu-darmstadt

Dies sind die Folien zu meinem Vortrag über das Paper "Security of Multithreaded Programs by Compilation" von Gilles Barthe, Tamara Rezk, Alejandro Russo und Andrei Sabelfeld, den ich im Rahmen des Seminars "Formal Specification" gehalten habe.

Update: Der Report zum Seminar ist nun auch fertig.

Die Latex-Quellen zu Folien und Report findet man auf github.



Leave a Reply


Kommentare für diesen Eintrag als RSS Feed
Anonymous on 23.03.2022 wrote Reply

Wе tеnd to think оf grеat thinkеrs аnd innovаtors аs sоloists, but the truth is thаt the greatеst innovativе thinking doesn't occur in а vаcuum. Innovаtion rеsults frоm collaborаtion.

Rita Pulver on 11.07.2022 wrote Reply

Hello, did you know that there are 241,120 internet directories in the world.

These websites are what drive traffic to YOUR business.

Want more traffic? Want more Sales? We can help - today.

Your website is listed in only 95 of these directories.

Get more traffic for your Germany audience.

Our automated system adds your website to all of the directories.

You can find it here:

Act today, and we will expedite your listings and waive the processing charge!

We have a special going on. Use "FRIENDS" on checkout for a 50% discount valid today.