Spécification du langage de modélisatoin HLL v.2.7

Report English OPEN
ORDIONI , Julien; BRETON , Nicolas; Colaço , Jean-Louis;
  • Publisher: HAL CCSD
  • Subject: Specification | HLL | Prover technology | [ INFO.INFO-CL ] Computer Science [cs]/Computation and Language [cs.CL] | RATP | Formal language | Modelling language

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 to perform formal verification on CBTC and interlocking safety... View more
Share - Bookmark