Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems

Abstract

This compendium contains the lecture notes used in the “BeChong” meetings held as part of the SIU-funded bilateral project “Methods and Tool Support for Re nement, Model Transformation and Veri cation of Network Systems” (UTF-2016-short-term/10049) between the Western Norway University of Applied Sciences (HVL), Bergen, Norway, and Southwest University (SWU), Chongqing, China. The Department of Informatics at the University of Bergen and the Guizhou Academy of Sciences, Guiyang, China participated as network partners.