Security and Safety in Software Engineering

<p>Your browser does not handle frames. Click on "Content" for a no-frame-like version or go to the links below.</p> <H1>Security and Safety in Software Engineering</H1> <H2>Formal Modelling and Verification of security-critical Systems</H2> <b> <font color="red"><H2>THESE PAGES ARE HISTORY, I HAVE MOVED <A HREF="http://www.jurjens.de/jan">ON</a>.</h2></font></b> <p><A HREF="problem.html">Problem description</A></p> <p><A HREF="group.html">Research</A></p> <p><A HREF="projects.html">Projects</A></p> <p><A HREF="jobs.html">Jobs (Praktika, Diplomarbeiten, in German)</A></p> <p><A HREF="contact.html">Contact</A></p> <hr> <table> <tr> <td valign="top"><font face="arial">Jan Jürjens</font></td> <td valign="bottom"><img src="images/mailadr_juerjens_arial_12pt.gif" /> </td> </tr> </table>   Last modified: Mon Feb 4 14:39:39 MET 2002