Trace Refinement in B and Event-B

  • Sebastian Stock (Speaker)
  • Atif Mashkoor (Speaker)
  • Michael Leuschel (Speaker)
  • Egyed, A. (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Description

Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement process. In this paper, we present a trace refinement technique and tool called BERT that allows designers to ensure the behavioral integrity of high-level traces at the concrete level. The proposed technique is evaluated within the context of the B and Event-B methods on industrial-strength case studies from the automotive domain.
Period25 Oct 2022
Event titleFormal Methods and Software Engineering - 23rd International Conference on Formal Engineering
Event typeConference
LocationSpainShow on map

Fields of science

  • 102 Computer Sciences
  • 102022 Software development

JKU Focus areas

  • Digital Transformation