Runtime Verification for Distributed Systems



Davide Ancona

Runtime Verification for Distributed Systems
Speaker:
Davide Ancona
Abstract:
Runtime verification (RV) is a method based on dynamic analysis which can be effectively used to integrate other verification techniques. In this talk I will briefly introduce the main concepts of RV, discuss challenges related to RV of distributed systems, and outline future research directions.
Date:
Thursday, December 6th, 2:30PM
Location:
DIBRIS, Valletta Puggia, Conference Room 326 - Via Dodecaneso 35, Genova 

 

Sei qui: Home Ricerca Seminari di ricerca Runtime Verification for Distributed Systems

Questo sito usa i cookie.