Apply

Security by Design using Formal Methods

Course provider

Syddansk Universitet

Location

  • Odense

Description

Dette kursus giver en introduktion på højt niveau til sikkerhed ved design – en tilgang til softwareudvikling, der integrerer sikkerhedstaktikker og -mønstre fra starten af softwaredesignet for at indbygge sikkerhed i systemet fra bunden – ved hjælp af formelle metoder, herunder casestudier og erfaringsrapporter fra industrien. Grundlæggende elementer i denne tilgang illustreres ved hjælp af værktøjer på industriplan til formel softwarespecifikation som TLA+ og dets værktøjskasse til modelkontrol og maskincheckede beviser.

Syddansk Universitet

Practical information

Course provider

Syddansk Universitet

Location

  • Odense

Course provider contact information

Contact the study administration
E-mail: lah@sam.sdu.dk

Course language

English

Course duration

We cannot specify the duration of the course, but go to the course providers to read more.

Syddansk Universitet

The process is that easy

  1. Check out the course

    Explore the numerous options offered by Finanskompetencepuljen and find the course you want.

  2. Talk to your manager

    Initiate a dialogue with your manager. Some companies pay for the time you spend during your education.

  3. Apply for the course

    Apply for the course via Finanskompetencepuljen. We approve financing and contact the course provider

  4. We will contact you

    You will be contacted by the course provider to indicate whether you have been accepted and to subsequently provide all practical information.

How do I get started?