MERCEmentre

Pinned Repositories

• ECL-pyrobustness

  Language:Python01

• ECL-Symbolic-Implementation

  Symbolic implementation of FORMATS 2020 algorithm

  Language:Python00

• SKT-VerifedContractTheory

  Specification and implementation of Benveniste's contract theory in a framework formalized in Coq

  Language:Coq41

• model-evaluation

  part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

  Language:TeX13165820

• modeling

  WP3 Top Level Project: to cover all tasks related with modeling

  Language:C334175342

• requirements

  WP2: Top Level Project for openETCS requirements

  Language:TeX5166013

• toolchain

  WP7: Top Level Project for the toolchain

  Language:TeX273643730

MERCEmentre's Repositories