Abschnittsübersicht

  • Schedule
    1. October 5, 8:30-11:45 (all): introduction, logic, RISC ProofNavigator
    2. October 12, 8:30-11:45 (all): RISC ProofNavigator, Hoare calculus
    3. October 12, 14:30-18:00 (all): Hoare calculus, verification with RISC ProofNavigator
    4. November 16, 8:30-11:45 (all): JML, ESC/Java2
    5. November 16, 14:30-18:00 (KV4 only): more on Hoare calculus and verification
    6. November 23, 8:30-11:45 (all): ESC/Java2, JML
    7. November 30, 8:30-11:45 (all): JML/KeY
    8. December 7, 8:30-11:45 (all): modeling concurrent systems, simulating with Spin
    9. December 14, 8:30-11:45 (all): specifying concurrent systems
    10. January 11, 8:30-11:45 (all): model checking with Spin
    11. January 18, 8:30-11:45 (KV4 only): modeling message passing, verification with the RISC ProofNavigator
    12. January 25, 8:30-11:45 (KV4 only): guest lecture on PCC by H.W. Loidl
    13. February 1, 8:30-10:00 (all): exam