Certified embedding of B models in an integrated verification framework

Conference object English OPEN
Halchin, Alexandra; Aït-Ameur, Yamine; Singh, Neeraj Kumar; Feliachi, Abderrahmane; Ordioni, Julien;
  • Publisher: HAL CCSD
  • Identifiers: doi: 10.1109/TASE.2019.000-4
  • Subject: Formal semantics | [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] | Theorem proving | B to HLL translation validation | Model animation | Autre

International audience; To check the correctness of heterogeneous models of a complex critical system is challenging to meet the certification standard. Such guarantee can be provided by embedding the heterogeneous models into an integrated modelling framework. This wor... View more
Share - Bookmark