An integrated formal method combining labeled transition system and event-b for system model refinement

HIGHLIGHTS

• who: An Integrated Formal Method and collaborators from the School of Advanced Science and Engineering, Hiroshima University, Hiroshima, Japan have published the paper: An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement, in the Journal: (JOURNAL) of 18,/05/2018
• what: The authors propose that utilizes both event-based Event-B and state-based formalism LTS to address this problem. The authors discuss how the problem with the behavioral interaction expression in Event-B can be solved by integrating Event-B with labeled transition system (LTS). The authors propose . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.