Download is available until [expire_date]
  • Version
  • Download 26
  • File Size 2.52 MB
  • File Count 1
  • Create Date June 6, 2023
  • Last Updated June 6, 2023

Interaction-based Offline Runtime Verification of Distributed Systems

Paper presented during the during the Fundamentals of Software Engineering Conference (FSEN) celebrated from 4th – 5th of May virtually and in Tehran (Iran). The paper, based on the SELFY research, is produced by Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre (CEA) and Pascale Le Gall (CentraleSupélec).