• Your selection is empty.

    Register the diplomas, courses or lessons of your choice.

Program specification and formal proof

  • Add to selection
  • Download

  • School / Prep

    ENSEIRB-MATMECA

Internal code

EI9IF338

Description

Master the fundamental concepts of program specification and formal proof.
Acquire practical skills in this field.

Read more

Teaching hours

  • CIIntegrated Courses12h
  • TIIndividual work3h
  • PRACTICAL WORKPractical work10h

Mandatory prerequisites

C language skills.

Read more

Syllabus


Introduction to static program analysis
Specifying programs in ACSL
Proving programs with Why3

Read more

Assessment of knowledge

Initial assessment / Main session - Tests

Type of assessmentType of testDuration (in minutes)Number of testsTest coefficientEliminatory mark in the testRemarks
Integral Continuous ControlContinuous control1