Specification Engineering using PiSPEC

Learn How to Write Formal Safety, Test and Design Specifications

In this three‐week class, engineers learn how to review, develop, and maintain formal specifications using PiSPEC. Classroom sessions are spread over 3 months, so that students have the opportunity to practice and reinforce their skills without leaving projects for an extended period of time.

Specicfication Engineering Certification

Price
€6100

Who should attend
Engineers interested in formal specification.

Duration and format
Three weeks with 4 days of training each, spread over a 3 month period.

Optional Certification
Prover Certified Application Engineer

Prerequisites
Each student has to a Prover Certified Application Engineer. (Experience in object‐oriented software development or predicate logic will be beneficial.)

  • Week 1
    Test Requirements Specification: The teacher presents fundamental PiSPEC language constructs, and gives an overview of the PiSPEC Safety, Test and Design Languages. The student then learns the PiSPEC Test Language through theory and practice (using the Prover iLock software).
  • 3 Week Break
    Student has access to demo license.
  • Week 2
    Safety Requirements Specification: The student learns the PiSPEC Safety Language through theory and practice (using the Prover iLock software).
  • 3 Week Break
    Student has access to demo license.
  • Week 3
    Design Specification: The student learns the PiSPEC Design Language through theory and practice (using the Prover iLock software).

Contact Prover