Transforming EVENT B Models into Verified C# Implementations
type: Dataset
description: International audience
issued: 2026-05-09T18:00:53.796784
language: en
modified: 2026-05-09T18:00:53.796789
contact point: Organization
  fn: CCSD
keyword: acm-f-theory-of-computationf3-logics-and-meanings-of-programs
keyword: acm-f-theory-of-computationf4-mathematical-logic-and-formal-languages
keyword: algorithm
keyword: conference-papers
keyword: correct-by-construction
keyword: implementation
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-dscomputer-science-csdata-structures-and-algorithms-csds
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: refinement
keyword: transformation
keyword: verification
landing page: VPT 2013 - First International Workshop on Verification and Program Transformation

Transforming EVENT B Models into Verified C# Implementations
type: Distribution
format: HTML
issued: 2026-05-09T18:00:53.798858
modified: 2026-05-09T18:00:53.783453
access URL: https://inria.hal.science/hal-00862050

test_moissonnage_selune
type: Agent