Industrialising a proof-based verification approach of computerised interlocking systems
type: Dataset
description: International audience
landing page: Eleventh International Conference on Computer System Design and Operation in the Railway and Other Transit Systems
keyword: conference-papers
keyword: environment-modelling
keyword: formal-verification
keyword: infocomputer-science-cs
keyword: infoeu-reposemanticsconferenceobject
keyword: interlocking-application
keyword: proof-certification
issued: 2026-05-13T18:23:42.702333
modified: 2026-05-13T18:23:42.702339
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Industrialising a proof-based verification approach of computerised interlocking systems
type: Distribution
format: HTML
access URL: https://hal.science/hal-00796378
issued: 2026-05-13T18:23:42.759830
modified: 2026-05-13T18:23:42.660137