Abschnittsübersicht

  • The following is a preliminary schedule of the lecture:

    1. October 4: introduction and organization, the language of logic. 
    2. October 11: the RISC Algorithm Language, specifying and verifying.
    3. October 18: specifying and verifying.
    4. October 25: specifying and verifying.
    5. November 8: the art of proving, the RISC Theorem Proving Interface.
    6. November 15: specifying and verifying.
    7. November 22: the Java Modeling Language (part 1).
    8. November 29:  extended static checking of Java programs with ESC/Java2.
    9. December 6: verifying Java programs with KeY.
    10. December 13: the Java Modeling Language (part 2).
    11. December 20: modeling concurrent systems.
    12. January 10:  specifying in temporal logic, verifying safety properties.
    13. January 17: the Spin model checker, automatic model checking.
    14. January 24: (no lecture)
    15. January 31: exam