Formation indisponible à l'heure actuelle

Spécification Logique et Validation des Programmes Séquentiels

Cnam Occitanie

Formation

À Montpellier ()

Prix sur demande

Appeler le centre

467636340

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Description

Typologie

Formation

Heures de classe

60h

Objectifs: Donner les principes fondamentaux d'une programmation et d'une documentation rigoureuse. Montrer comment la documentation formelle permet la validation des logiciels.

À propos de cette formation

Prérequis

Le cours présente progressivement toutes les connaissances requises.

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

Les Avis

Le programme

Programmation et logique
- Proplog et le calcul propositionnel
- Datalog et bases de données relationnelles et déductives
- Prolog et le calcul des prédicats du 1er ordre

Validation des programmes
- calcul des séquents et tableaux sémantiques
- preuves de Hoare et de Dijkstra

Application aux programmes Java
- assertions java
- validation de programmes Java : ESC

Appeler le centre

467636340

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Spécification Logique et Validation des Programmes Séquentiels

Prix sur demande

Contact

Spécification Logique et Validation des Programmes Séquentiels

Questions / Réponses

Les Avis

Le programme

Ajoutez des cours similaires
et comparez-les pour mieux choisir.

Spécification Logique et Validation des Programmes Séquentiels

Questions / Réponses

Les Avis

Le programme

Ajoutez des cours similaireset comparez-les pour mieux choisir.

Ajoutez des cours similaires
et comparez-les pour mieux choisir.