Runtime Verification 2026

Short Paper

Defense-in-Depth Runtime Safety in Move

V. Gao, W. Grieskamp, V. Kashyap, G. Mitenkov, T. Zhang, R. Zhou, A. Cappa, M. Ilardi

on  Wed, 11:50 ! Livein  Rose Innovation Hubfor  20min

 Overview  Program

Sponsored by:

Formal Methods Europe