HLL v.2.7 Modelling Language Specification

Abstract : This RATP document, based on an original document from Prover Technology, details the syntax and semantics of the formal modelling language " High Level Language " (HLL). HLL is used for several years by RATP and some other companies (e.g. SYSTEREL, Prover Technology) to perform formal verification on CBTC and interlocking safety critical software.
Document type :
Reports
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01799749
Contributor : Julien Ordioni <>
Submitted on : Wednesday, June 6, 2018 - 2:09:14 PM
Last modification on : Friday, September 7, 2018 - 3:26:45 PM
Document(s) archivé(s) le : Friday, September 7, 2018 - 12:29:11 PM

File

RATP-STF-16-01805_Publication_...
Publication funded by an institution

Identifiers

  • 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⟩

Share

Metrics

Record views

733

Files downloads

497