Skip to content

Correctness by Construction

Making software right, one (right) step at a time!

  • Main page
    • Goals
    • Course Log
    • Admin
    • Resources
    • Tools
  • Course Policy
  • Proving
  • Rodin
  • More resources
  • The IMDEA Software Institute
  • Technical University of Madrid
Correctness by Construction

Term Project

The term project is available.

Deadline to submit: Tuesday, May 21st , 23:59.

Presentations: Wednesday, May 22nd, 15:30 to 20:00.

Author cbcPosted on April 28, 2024April 28, 2024

Post navigation

Previous Previous post: Third Homework

Participating Institutions

  • IMDEA Software Institute
  • Universidad Politécnica de Madrid

Go to posts about…

News

  • Term Project April 28, 2024
  • Third Homework April 8, 2024
  • Second Event-B Homework March 2, 2024
  • First Event-B Homework February 26, 2024
  • Main page
    • Goals
    • Course Log
    • Admin
    • Resources
    • Tools
  • Course Policy
  • Proving
  • Rodin
  • More resources
  • The IMDEA Software Institute
  • Technical University of Madrid
Correctness by Construction Proudly powered by WordPress