HLL v.2.7 Modelling Language Specification

Résumé : Ce document RATP, basé sur un document original de Prover Technology, détaille la syntaxe ainsi que la sémantique du langage de modélisation formelle HLL (pour High Level Language). HLL est utilisé depuis plusieurs années à la RATP et par d'autres acteurs tels que SYSTEREL ou Prover Technology pour réaliser des vérifications formelles sur les logiciels critiques des CBTC et postes de signalisation.
Type de document :
Rapport
[Other] STF-16-01805, RATP. 2018
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01799749
Contributeur : Julien Ordioni <>
Soumis le : mercredi 6 juin 2018 - 14:09:14
Dernière modification le : vendredi 7 septembre 2018 - 15:26:45
Document(s) archivé(s) le : vendredi 7 septembre 2018 - 12:29:11

Fichier

RATP-STF-16-01805_Publication_...
Publication financée par une institution

Identifiants

  • HAL Id : hal-01799749, version 1

Collections

Citation

Julien Ordioni, Nicolas Breton, Jean-Louis Colaço. HLL v.2.7 Modelling Language Specification. [Other] STF-16-01805, RATP. 2018. 〈hal-01799749〉

Partager

Métriques

Consultations de la notice

556

Téléchargements de fichiers

337