Hauptseite
aus FVSW Wiki, der freien Wissensdatenbank
Inhaltsverzeichnis |
Einführung
Willkommen im Wiki für Formale Verifikation von Software im WS 2005 an der TU Wien!
Diese Wiki wurden erstellt, damit hier im Laufe des Semesters ein Skriptum der Vorlesung oder auch eine gute Mitschrift entsteht. Bei reger Beteilung wird dieses Wiki einen sinnvollen Beitrag zur erfolgreichen Absolvierung der Lehrveranstaltung leisten.
Hier gehts zur offiziellen LVA-Homepage.
Benützung des Wiki
Jeder registrierte Benutzer kann die Seiten bearbeiten (Hier geht es zur Anmeldung. Diese Einstellung ist leider notwendig um Spam-Einträge zu verhindern). Die Empfehlung lautet dabei den echten Namen zu verwenden (z.B. "Vorname Nachname"), ein Alias ist aber natürlich auch möglich. Hauptsache viele machen mit!
Hier gibt es eine Liste von Seiten, die noch bearbeitet werden müssen, bzw. eine List von Seiten, die noch nicht existieren.
Lehrveranstaltung
Die optimale Struktur für dieses Wiki wird sich wahrscheinlich im Laufe der Zeit herauskristallisieren. Am Anfang ist es vermutlich am besten pro Einheit eine eigene Seite zu erstellen auf denen die einzelnen behandelten Themen wiederum auf eigene Seiten verweisen. Hier gleich ein Beginn:
Einheiten
- 17. Oktober 2005: Vorbesprechung und Einführung
- 24. Oktober 2005: Hoare Logik, Spezifikationen und Guarded Command Language
- 7. November 2005: ua. Beispiel Mehrfachzuweisung, Absoluter Betrag, Schleife
- 14. November 2005: Beispiel ganzzahlige Division und Rest bilden, Checkliste f. korrekte Schleifen, Beispiel näherungsweise Quadratwurzel, Checkliste f. Invariante, Beispiel f. andere Methode Invariante zu finden
- 21. November 2005: Abschwächen der Postcondition, Beispiel Lineare Suche, Beispiel Minimale Segmentsumme
- 28. November 2005: Beispiel Welfare Crook, Weakest Precondition
- 5. Dezember 2005: Beispiel Aktienkurse, Beispiel Longest Upsequence
- 12. Dezember 2005: Beispiel mit anderer Invariante, Invertieren von Programmen
- 9. Jänner 2006: Zuweisungsaxiom Zusatz, Parallele Programme
- 16. Jänner 2006: Algebra der Invarianten einer Schleife
Inhalt
Später ist hier eine thematische Gliederung wahrscheinlich ebenfalls sinnvoll.
Hilfe
Siehe das Benutzerhandbuch für Hilfe zur Benutzung und Konfiguration.
Die normalen MathMarkup-Formeln funktionieren in diesem Wiki leider nicht. Aber für die Formeln sollten die normalen HTML-Entities ausreichen: FVSW_Wiki:Formeln
Umbenennung: Falls jemand Umbenennungs-Vorschläge für bestimmte Seiten hat - bitte in die Diskussion der Seite schreiben.
