Skip to main content
RISC
  • Home
  • More
English ‎(en)‎
Deutsch ‎(de)‎ English ‎(en)‎
You are currently using guest access
Log in
RISC
Home
Expand all Collapse all
  1. FMSemWS14
  2. General
  3. Seminar Topics

Seminar Topics

Completion requirements
  • Event-B and the Rodin Platform
    (open)
    • Chapter in Book Logics of Specification Languages (available from WS)
    • Book Modeling in Event B (available from WS)
    • Rodin Tutorial
    • The ProB Animator and Model Checker
  • Alloy: A Language and Tool for Relational Models (Klaus Reisenberger)
    • Book Software Abstractions (available from WS)
    • Alloy Tutorial
    • Alloy Course
  • Natural Deduction Proofs in Isabelle/Isar (Alexander Siedler)
    • Programming and Proving in Isabelle/HOL
    • Structured Proofs in Isar/HOL
    • Tutorial on Isabelle/HOL
    • Isabelle/Isar Reference Manual

Last modified: Monday, 6 October 2014, 4:14 PM
You are currently using guest access (Log in)
Data retention summary
Get the mobile app
Powered by Moodle